--- a/src/eric7/Sessions/SessionFile.py Sun Dec 03 14:51:49 2023 +0100+++ b/src/eric7/Sessions/SessionFile.py Sun Dec 03 14:54:00 2023 +0100@@ -7,7 +7,6 @@ Module implementing a class representing the session JSON file. """-import contextlib import json import time