update changelog

coq-community · Dec 28, 2023 · c32df70 · c32df70
1 parent 9cf9d2e
commit c32df70
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -5,6 +5,9 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
 
 ## [Unreleased]
 
+### Fixed
+- Build with Coq 8.19 and beyond
+
 ## [8.16.0] - 2023-10-01
 
 ### Changed