Backport PR #13878: [RM] Changelog for 8.13.1

coq · Feb 22, 2021 · 7f08a61 · 7f08a61
2 parents de250a5 + a2b66d5
commit 7f08a61
Show file tree

Hide file tree

Showing 2 changed files with 21 additions and 5 deletions.
diff --git a/doc/changelog/01-kernel/13867-changelog-for-13867.rst b/doc/changelog/01-kernel/13867-changelog-for-13867.rst
diff --git a/doc/sphinx/changes.rst b/doc/sphinx/changes.rst
@@ -701,6 +701,27 @@ Commands and options
   (`#13556 <https://github.com/coq/coq/pull/13556>`_,
   by Simon Friis Vindum).
 
+Changes in 8.13.1
+~~~~~~~~~~~~~~~~~
+
+Kernel
+^^^^^^
+
+- **Fixed:**
+  Fix arities of VM opcodes for some floating-point operations
+  that could cause memory corruption
+  (`#13867 <https://github.com/coq/coq/pull/13867>`_,
+  by Guillaume Melquiond).
+
+CoqIDE
+^^^^^^
+
+- **Added:**
+  Option ``-v`` and ``--version`` to CoqIDE
+  (`#13870 <https://github.com/coq/coq/pull/13870>`_,
+  by Guillaume Melquiond).
+
+
 Version 8.12
 ------------