mypy
Notify client on all dmypy crashes
#7593
Merged

Notify client on all dmypy crashes #7593

msullivan merged 1 commit into master from dmypy-crash
msullivan
msullivan Notify client on all dmypy crashes
95f562bb
msullivan msullivan requested a review from Michael0x2a Michael0x2a 6 years ago
msullivan msullivan requested a review from ilevkivskyi ilevkivskyi 6 years ago
gvanrossum
gvanrossum approved these changes on 2019-10-01
msullivan msullivan merged 583b99e5 into master 6 years ago
msullivan msullivan deleted the dmypy-crash branch 6 years ago

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone