Skip to content

resolve issue flagged by mypy#33

Merged
mbdevpl merged 1 commit into
mainfrom
feature/mypy-docutils-issue
Nov 6, 2025
Merged

resolve issue flagged by mypy#33
mbdevpl merged 1 commit into
mainfrom
feature/mypy-docutils-issue

Commits

Commits on Nov 6, 2025