App: Fix mypy RefreshList import

Can be removed once common 2.1.0 is released
eduvpn · Jul 18, 2024 · 10c52f2 · 10c52f2
1 parent 3087a14
commit 10c52f2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/eduvpn/app.py b/eduvpn/app.py
@@ -8,7 +8,7 @@
 
 from eduvpn_common.main import EduVPN, ServerType, WrappedError
 from eduvpn_common.state import State, StateType
-from eduvpn_common.types import ProxyReady, ProxySetup, ReadRxBytes, RefreshList
+from eduvpn_common.types import ProxyReady, ProxySetup, ReadRxBytes, RefreshList  # type: ignore[attr-defined]
 
 from eduvpn import nm
 from eduvpn.config import Configuration