This repository has been archived by the owner on Apr 26, 2024. It is now read-only.
Rollback #11322 due to wrong syntax in mypy.ini#11332
Merged
clokep merged 3 commits intodevelopfrom clokep/undo-untypedNov 12, 2021
+15-2
Commits
Commits on Nov 12, 2021
- committed
- committed
- committed
