1 files changed, 1 insertions, 1 deletions
diff --git a/NEWS b/NEWS
index 2da9754..26c517d 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.