Skip to content

chore(deps-dev): bump mypy from 1.2.0 to 1.3.0#2233

Merged
rubenfonseca merged 1 commit intodevelopfrom
dependabot/pip/develop/mypy-1.3.0
May 11, 2023

Commits

Commits on May 10, 2023