Daniel Brötzmann pushed to branch master at gajim / gajim
Commits:
39d250ac by wurstsalat at 2023-06-07T22:19:55+02:00
cfix: Revert: Plugin helpers: Remove unnecessary ignore comment"
This reverts commit c2044cea4d9fce61d90ed832e021bfc4339e16d7.
- - - - -
1 changed file:
- gajim/plugins/helpers.py
Changes:
=====================================
gajim/plugins/helpers.py
=====================================
@@ -31,7 +31,7 @@ class GajimPluginActivateException(Exception):
def get_builder(file_name: str, widgets: list[str] | None = None) -> Builder:
return Builder(file_name,
- widgets,
+ widgets, # pyright: ignore
domain=DOMAIN,
gettext_=_)
View it on GitLab:
https://dev.gajim.org/gajim/gajim/-/commit/39d250ac590beb6aaebc5274038ede1a9dc6a5d1
--
View it on GitLab:
https://dev.gajim.org/gajim/gajim/-/commit/39d250ac590beb6aaebc5274038ede1a9dc6a5d1
You're receiving this email because of your account on dev.gajim.org.
_______________________________________________
Commits mailing list
[email protected]
https://lists.gajim.org/cgi-bin/listinfo/commits
