copilot-libraries: Document changes in CHANGELOG. Refs #470.

ivanperez-keera · ivanperez-keera · commit 13a58666a32f · 2023-12-28T01:48:30.000Z
diff --git a/copilot-libraries/CHANGELOG b/copilot-libraries/CHANGELOG
@@ -1,5 +1,6 @@
-2023-12-24
+2023-12-27
         * Introduce testing infrastructure for Copilot.Library. (#475)
+        * Replace uses of forall with forAll. (#470)
 
 2023-11-07
         * Version bump (3.17). (#466)
