Skip to content

Fix typing errors

Christian Witzler requested to merge vis/jumonc:main into main

Besides typing errors caused by a problem with mypy, all mypy errors are removed: https://github.com/python/mypy/issues/14117

Merge request reports