mypy
Add script for cherry-picking commits from typeshed
#11737
Merged
Overview
Commits
1
Changes
View On GitHub

Add script for cherry-picking commits from typeshed #11737

JelleZijlstra merged 1 commit into master from typeshed-cherry-pick
JukkaL
JukkaL Add script for cherry-picking commits from typeshed
fd0dfa40
JelleZijlstra JelleZijlstra merged bb934e9a into master 4 years ago
JelleZijlstra JelleZijlstra deleted the typeshed-cherry-pick 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