NEWS: Add 16447 to fixed bugs list.

diff --git a/NEWS b/NEWS
index 2da97546bff2707c1a63e3d4fb66114e032858a5..26c517da5b0e18b5f05d0298037b0490a5bb4b30 100644 (file)
--- 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.