In this changelog we document various changes to the Autosubst library, especially the API-breaking ones.
- Add support for Coq 8.13-8.14.
- Remove support for Coq 8.10.
- This is a maintenance release. This version of Autosubst supports the latest Coq version 8.12 and the latest SSReflect version 1.12.
- Ownership of the library has be transferred to the coq-community.