Skip to content

Made @typechecked a no-op in optimized mode#350

Merged
agronholm merged 4 commits intomasterfrom typechecked-optimizedMay 1, 2023