Skip to content

MAINT: Remove unnecessary property + mypy fixes#2099

Merged
MartinThoma merged 4 commits intomainfrom maint-simplifyAug 19, 2023

Commits

Commits on Aug 19, 2023