mypy
(minor) make PEP 612 wip locations more greppable
#11311
Merged
Overview
Commits
1
Changes
View On GitHub

(minor) make PEP 612 wip locations more greppable #11311

hauntsaninja merged 1 commit into python:master from hauntsaninja:612grep
hauntsaninja
(minor) make PEP 612 wip locations more greppable
2c79189f
hauntsaninja hauntsaninja merged eba24b4c into master 4 years ago
hauntsaninja hauntsaninja deleted the 612grep branch 4 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum