Update ChangeLog file (set v7.4.12 release date)

diff --git a/ChangeLog b/ChangeLog
index d66fc7b957bd4594d458a8c0c946b4694d33fe47..94e3445521d4d9dd234931e22cec19fb6f9463a3 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -140,7 +140,7 @@ Also, includes 7.4.8 changes
 Also, includes 7.4.6 changes
 
 
-== [7.4.12] (not released yet) ==
+== [7.4.12] 2018-12-11 ==
 
 * COPYING: sync with FSF's gpl-2.0.txt
 * Fix a typo in arm_v6.h