From d3a958d444e35fa7f05bd7c6a826bc04221553e0 Mon Sep 17 00:00:00 2001
From: cjihrig <cjihrig@gmail.com>
Date: Wed, 5 Jul 2017 11:55:40 -0400
Subject: [PATCH] Add SHA to ChangeLog

---
 ChangeLog | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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: