Bump the changelog to 5.13.1

linas · linas · commit c6ff88dd4035 · 2025-10-28T23:21:00.000-05:00
diff --git a/ChangeLog b/ChangeLog
@@ -1,3 +1,6 @@
+Version 5.13.1 (Maybe in 2026?)
+ * (Nothing yet)
+
 Version 5.13.0 (28 October 2025)
  * Minor English dictionary fixes.
  * Bump minor version number due to changed lg-atomese API.
