Document changes in the CHANGELOG. Refs #72.

Copilot-Language · Nov 8, 2024 · 073ae58 · 073ae58
1 parent 19cfb9b
commit 073ae58
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/copilot-verifier/CHANGELOG b/copilot-verifier/CHANGELOG
@@ -1,3 +1,6 @@
+2024-11-08
+        * Version bump (4.1). (#72)
+
 2024-09-09
         * Version bump (4.0). (#69)
         * Support verifying programs that use array updates. (#63)