update CHANGELOG.md for release

coq-community · Jan 31, 2020 · e6495d7 · e6495d7
1 parent 6295d9e
commit e6495d7
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -5,6 +5,7 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
 
 ## [Unreleased]
 
+## [8.11.0] - 2020-01-31
 ### Fixed
 - Compatibility with Coq 8.11
 - Ignore more untracked files such as `.vos`
@@ -34,6 +35,7 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
 - Modernize build scripts to use `coq_makefile` features
 - Reorganize code into subdirectories
 
-[Unreleased]: https://github.com/coq-community/chapar/compare/v8.10.0...master
+[Unreleased]: https://github.com/coq-community/chapar/compare/v8.11.0...master
+[8.11.0]: https://github.com/coq-community/chapar/releases/tag/v8.11.0
 [8.10.0]: https://github.com/coq-community/chapar/releases/tag/v8.10.0
 [8.9.0]: https://github.com/coq-community/chapar/releases/tag/v8.9.0