--- a/changelog	Sun Jun 03 11:30:57 2018 +0200
+++ b/changelog	Sun Jun 03 14:03:19 2018 +0200
@@ -1,5 +1,11 @@
 Change Log
 ----------
+Version 18.07:
+- bug fixes
+- Git Interface
+  -- added capability to change the URL and/or user credentials for a
+     remote repository
+
 Version 18.06:
 - bug fixes
 - Editor