--- a/changelog	Sun Jun 17 13:09:00 2018 +0200
+++ b/changelog	Sun Jun 17 16:56:10 2018 +0200
@@ -10,6 +10,9 @@
   -- changed to use the new VirtualEnv Manager
 - VirtualEnv Manager
   -- added a manager for virtual environments
+  -- changed a few places to use the newly introduced virtual environments
+     (Note: a new session file format and debug properties file format
+      has been introduced)
 
 Version 18.06:
 - bug fixes