diff --git a/src/general-info/release-20e.txt b/src/general-info/release-20e.txt
index 06f51738e8cbabb936b6d77278428a69324d08ff..74e024e2d40382a066464b1a87dfc48c544a75a7 100644
--- a/src/general-info/release-20e.txt
+++ b/src/general-info/release-20e.txt
@@ -58,6 +58,7 @@ New in this release:
       caused by the release string not having a patch version.
     * FILE-POSITION no longer returns incorrect values.  See ticket
       #79.
+    * Fix error in (format t "~ve" 21 5d-324).  (See ticket #80).
 
 
   * Trac Tickets: