mypy
Add error codes to notes to allow ignoring them
#7429
Merged
Overview
Commits
7
Changes
View On GitHub

Add error codes to notes to allow ignoring them #7429

JukkaL merged 7 commits into master from errcode-notes
JukkaL
JukkaL Add error codes to notes
3b8853cf
JukkaL Add error codes to more notes
f85c57b3
JukkaL Fix protocol problems
7d59dab8
JukkaL Add test case
9c58bcfe
JukkaL Add test case
d5231436
JukkaL Add test cases
f61f8409
JukkaL Fix unused import
9c80ae2f
JukkaL JukkaL requested a review from ilevkivskyi ilevkivskyi 6 years ago
JukkaL JukkaL requested a review from msullivan msullivan 6 years ago
msullivan
msullivan approved these changes on 2019-08-30
ilevkivskyi
ilevkivskyi approved these changes on 2019-08-30
ilevkivskyi
JukkaL JukkaL merged 69ca176d into master 6 years ago
JelleZijlstra JelleZijlstra deleted the errcode-notes branch 6 years ago

Login to write a write a comment.

Login via GitHub

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