copilot: Document changes in CHANGELOG. Refs Copilot-Language#564.

GaloisInc · Nov 13, 2024 · 606abcb · 606abcb
1 parent db23815
commit 606abcb
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/copilot/CHANGELOG b/copilot/CHANGELOG
@@ -1,3 +1,6 @@
+2024-11-13
+        * Update struct examples to use generic method implementations. (#564)
+
 2024-11-07
         * Version bump (4.1). (#561)
         * Update contribution guidelines. (#476)