Add CHANGES entry

5249.	[bug]		Statistics were broken in x86 Windows builds.
			[GL #1081]

diff --git a/CHANGES b/CHANGES
index 11b16ae9f13b9fe0ad725cde00f5a60ff3cf181f..944a6a7708bdeb0196a7fd77d3104aa8ea3db2f3 100644 (file)
--- a/CHANGES
+++ b/CHANGES
@@ -1,3 +1,6 @@
+5251.  [bug]           Statistics were broken in x86 Windows builds.
+                       [GL #1081]
+
 5250.  [func]          The default size for RSA keys is now 2048 bits,
                        for both ZSKs and KSKs. [GL #1097]