copilot: Document changes in CHANGELOG. Refs #491.

ivanperez-keera · ivanperez-keera · commit b9c7f5861cd0 · 2024-01-07T23:52:12.000-08:00
diff --git a/copilot/CHANGELOG b/copilot/CHANGELOG
@@ -1,3 +1,6 @@
+2024-01-07
+        * Update README to reflect support for GHC 9.6. (#491)
+
 2024-01-07
         * Version bump (3.18). (#487)
         * Enable tests for copilot-theorem in CI script. (#474)
