diff -r 73ec0786d60e -r f9925e08dbce src/eric7/PluginManager/PluginManager.py --- a/src/eric7/PluginManager/PluginManager.py Thu Jan 11 22:13:39 2024 +0100 +++ b/src/eric7/PluginManager/PluginManager.py Fri Jan 12 12:08:29 2024 +0100 @@ -10,6 +10,7 @@ import contextlib import datetime import importlib +import importlib.util import itertools import os import pathlib