chore: Update Python dev dep: Bump mypy from 1.19.1 to 1.20.1#252

dependabot[bot] wants to merge 1 commit intomaintarget/make-python-devex:mainfrom

dependabot/pip/mypy-1.20.1target/make-python-devex:dependabot/pip/mypy-1.20.1Copy head branch name to clipboard