diff --git a/ChangeLog b/ChangeLog
index 3f07c10e..e34a0303 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,4 +1,4 @@
-2017.07.06, Version 1.13.0 (Stable)
+2017.07.06, Version 1.13.0 (Stable), 8342fcaab815f33b988c1910ea988f28dfe27edb
 
 Changes since version 1.12.0: