This repository was archived by the owner on May 7, 2026. It is now read-only.

chore: strip unnecessary 'type: ignore' comments#255

Merged

tseaver merged 1 commit into

mainfrom

strip-moar-type-ignores

Nov 15, 2021

Workflow runs completed with no jobs