Document changes in CHANGELOG. Refs #11.

Copilot-Language · Jul 11, 2024 · 661d95a · 661d95a
1 parent cda420c
commit 661d95a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/CHANGELOG b/CHANGELOG
@@ -1,4 +1,5 @@
 2024-07-11
+        * Version bump (3.20). (#11)
         * Support translating Copilot struct updates to Bluespec (#10).
         * Fix a bug in the translation of the signum function. (#14)
         * Fix a bug in the translation of floating-point comparisons. (#15)