summary refs log tree commit diff
diff options
context:
space:
mode:
-rw-r--r--NEWS2
1 files changed, 1 insertions, 1 deletions
diff --git a/NEWS b/NEWS
index 2da97546bf..26c517da5b 100644
--- a/NEWS
+++ b/NEWS
@@ -9,7 +9,7 @@ Version 2.20
 
 * The following bugs are resolved with this release:
 
-  15894.
+  15894, 16447.
 
 * The am33 port, which had not worked for several years, has been removed
   from ports.