Require mypy # type: ignore specifies what is being ignored#2880

Merged

khk-globus merged 2 commits intomasterfrom benc-mypy-ignore-without-code

Sep 18, 2023

+4-3

Commits on Sep 17, 2023

Require mypy # type: ignore specifies what is being ignored
benclifford
committed

Commits on Sep 18, 2023

Merge branch 'master' into benc-mypy-ignore-without-code
benclifford
authored