copilot: Document changes in CHANGELOG. Refs #470.

ivanperez-keera · ivanperez-keera · commit a7aa7678d98d · 2023-12-28T01:49:12.000Z
diff --git a/copilot/CHANGELOG b/copilot/CHANGELOG
@@ -1,6 +1,7 @@
-2023-12-24
+2023-12-27
         * Enable tests for copilot-theorem in CI script. (#474)
         * Enable tests for copilot-libraries in CI script. (#475)
+        * Replace uses of forall with forAll. (#470)
 
 2023-11-07
         * Version bump (3.17). (#466)
