CHANGES for [GL #3152]

(cherry picked from commit 43e38a21ef70890e3b0512cc859af49b0259bb15)

diff --git a/CHANGES b/CHANGES
index 38fe9f3ab556830ce5a6dfa22c5c30bca9b94933..9c9234abf1c5b387a10157c0d90eab19b0a8be5d 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]