Add CHANGES note for [GL #3710]

(cherry picked from commit d5921fafed751d3ad44e57836615bca5c4db23d6)

diff --git a/CHANGES b/CHANGES
index 18ffef07e84d5a832eaf3edd6d6b0cab84322289..b910d12c0dac89034edbd80cf67c4c8e3347e85f 100644 (file)
--- a/CHANGES
+++ b/CHANGES
@@ -1,3 +1,6 @@
+6138.  [doc]           Fix the DF-flag documentation on the outgoing
+                       UDP packets. [GL #3710]
+
 6132.  [doc]           Remove a dead link in the DNSSEC guide. [GL #3967]
 
 6129.  [cleanup]       Value stored to 'source' during its initialization is