1 files changed, 1 insertions, 1 deletions
diff --git a/ChangeLog b/ChangeLog
index 31a1fcc..31c099d 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,4 +1,4 @@
-commit 433f66e88d96aaf745116b97d7fdaa6ce2abde30
+commit a7e2c2008699b590325ccd848562881251676faf
 Author: Johannes Ranke <jranke@uni-bremen.de>
 Date:   2019-02-19 20:46:18 +0100