CHANGES for [GL #3152]

diff --git a/CHANGES b/CHANGES
index 6608a674cdc8075af0745289e48cdb29fd98e1b1..e3912d5958d178292757f779dfd8067dda123b89 100644 (file)
--- a/CHANGES
+++ b/CHANGES
@@ -1,3 +1,7 @@
+5916.  [bug]           When resolving a name, don't give up immediately if an
+                       authoritative server returns FORMERR; try the other
+                       servers first. [GL #3152]
+
 5915.  [bug]           Detect missing closing brace (}) and computational
                        overflows in $GENERATE directives. [GL #3429]