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

ivanperez-keera · ivanperez-keera · commit 41bb643c7f4f · 2024-07-06T21:48:46.000-07:00
diff --git a/copilot-language/CHANGELOG b/copilot-language/CHANGELOG
@@ -1,3 +1,6 @@
+2024-07-06
+        * Remove deprecated function Copilot.Language.Spec.forall. (#518)
+
 2024-05-07
         * Version bump (3.19.1). (#512)
 
