Update date.

softdevteam · Jun 14, 2024 · 2c62abb · 2c62abb
1 parent eecc347
commit 2c62abb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,4 +1,4 @@
-# grmtools 0.13.7 (2024-06-13)
+# grmtools 0.13.7 (2024-06-14)
 
 * Catch incorrectly terminated productions. Previously this led to a confusing
   situation where productions could be merged together.