Repository navigation
Switch to explicit typing.Optional for type hints - #513
Merged
lovelydinosaur merged 3 commits intoMar 1, 2022
Merged
Commits
Commits on Mar 1, 2022
typing.Optional for type hints - #513