diff --git a/src/general-info/release-20e.txt b/src/general-info/release-20e.txt
index d38c14cf81cf64083eadece2cdacb44b863438f5..9ebd374410f5a1dd42aac0e4339ad95a3d5d76ff 100644
--- a/src/general-info/release-20e.txt
+++ b/src/general-info/release-20e.txt
@@ -72,6 +72,7 @@ New in this release:
     * Ticket #76 fixed.
     * Ticket #79 fixed.
     * Ticket #77 fixed.
+    * Ticket #80 fixed.
 
   * Other changes:
     * -8 option for build-all.sh is deprecated since we don't