1 files changed, 1 insertions, 1 deletions
diff --git a/ChangeLog b/ChangeLog
index f20f718..7ea31a7 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,4 +1,4 @@
-commit 7dc0ba4228fa490631b543c193ad7f113d703f00
+commit ec2052d68950745380c2724757b3ba8b116605fc
 Author: Johannes Ranke <jranke@uni-bremen.de>
 Date:   2018-06-08 14:54:40 +0200