[master] ChangeLog number update after merge.

diff --git a/ChangeLog b/ChangeLog
index e4b3316e82c84ae1aefbc67ee0e03bb552a3baa8..96844147d0ae61e9b523531aeb1275f184947c9b 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,4 +1,4 @@
-8XX.   [bug]           jiri, tomek
+826.   [bug]           jiri, tomek
        Compilation fix for Red Hat running on armv7.
        (Trac #3526, git eac5a80472dcb78b538c2ed34cc0534f801e5145)