Message398457
Have you investigated how that could be implemented and what the new API would look like? Personally I don't really like signals (they're not portable and code using them is super hard to get right) and I hesitate to add to their API. OTOH maybe you'll be able to find a champion for such a change among other core devs. I doubt that anyone is going to put any time in this based on a few messages from you though -- you must do the work. |
|
Date |
User |
Action |
Args |
2021-07-29 05:27:36 | gvanrossum | set | recipients:
+ gvanrossum, paul.moore, tim.golden, asvetlov, zach.ware, yselivanov, steve.dower, hidmic |
2021-07-29 05:27:36 | gvanrossum | set | messageid: <1627536456.59.0.159266928661.issue42913@roundup.psfhosted.org> |
2021-07-29 05:27:36 | gvanrossum | link | issue42913 messages |
2021-07-29 05:27:36 | gvanrossum | create | |
|