Message412937
We discussed that and found that a lot of errors are ignored during interning anyway.
But it's not too late to change if you want to (sending a PR would probably be quicker than arguing :-). |
|
Date |
User |
Action |
Args |
2022-02-09 18:17:34 | gvanrossum | set | recipients:
+ gvanrossum, christian.heimes, kumaraditya |
2022-02-09 18:17:34 | gvanrossum | set | messageid: <1644430654.62.0.228433791444.issue46430@roundup.psfhosted.org> |
2022-02-09 18:17:34 | gvanrossum | link | issue46430 messages |
2022-02-09 18:17:34 | gvanrossum | create | |
|