--- a/ChangeLog	Tue Jul 09 13:30:05 2024 +0200
+++ b/ChangeLog	Tue Jul 09 13:32:59 2024 +0200
@@ -1,5 +1,8 @@
 ChangeLog
 ---------
+Version 10.3.1
+- some code streamlining
+
 Version 10.3.0
 - adapted the plugin to remote (server) development because the eric IDE server
   does not support remote plugins yet