This repository has been archived by the owner on Apr 26, 2024. It is now read-only.

Fix typechecking errors introduced in #14128#14455

Merged

DMRobertson merged 3 commits intodevelopfrom dmr/fix-mypy-again

Nov 15, 2022

+6-4

Commits on Nov 15, 2022

Fix typechecking errors introduced in #14128
David Robertson
committed
Changelog
David Robertson
committed
Correct annotations
David Robertson
committed