CHANGES for [GL #3399]

diff --git a/CHANGES b/CHANGES
index 53b4bcfa467ee1dd5d5b96842065a15bf2927c15..f58376bf8f52d8fd2b8b4f94dd558202fdfa8537 100644 (file)
--- a/CHANGES
+++ b/CHANGES
@@ -1,3 +1,7 @@
+5967.  [cleanup]       Flagged the "random-device" option (which was
+                       already nonoperational) as obsolete; configuring it
+                       will generate a warning.  [GL #3399]
+
 5963.  [bug]           Ensure struct named_server is properly initialized.
                        [GL #6531]