copilot-language: Document changes in CHANGELOG. Refs #570.

kaBeech · kaBeech · commit 68cd36187c34 · 2025-01-03T13:24:07.000-08:00
diff --git a/copilot-language/CHANGELOG b/copilot-language/CHANGELOG
@@ -1,3 +1,6 @@
+2025-01-02
+        * Bump upper version constraint on containers. (#570)
+
 2024-11-07
         * Version bump (4.1). (#561)
         * Reject duplicate externs in properties and theorems. (#536)
