Add CHANGES entry for #1808

diff --git a/CHANGES b/CHANGES
index ca91a901ec3766a1c3b1948f91826f09a7586002..b56d003225399d129ba04fb4b4847ca2c0c90293 100644 (file)
--- a/CHANGES
+++ b/CHANGES
@@ -1,3 +1,5 @@
+5437.  [bug]           Fix a data race in resolver log_formerr. [GL #1808]
+
 5436.  [placeholder]
 
 5435.  [placeholder]