Message346438
Thank you Petr. Looking at your response, the full discussion here, and the fact that we don't have an easy way to put a number on who would be impacted, I agree that merging the PR seems the best course of action.
Thanks Stefan for additional follow up with Cython too. |
|
| Date |
User |
Action |
Args |
| 2019-06-24 20:05:43 | willingc | set | recipients:
+ willingc, ncoghlan, scoder, petr.viktorin, lukasz.langa, jdemeyer, steve.dower |
| 2019-06-24 20:05:43 | willingc | set | messageid: <[email protected]> |
| 2019-06-24 20:05:42 | willingc | link | issue37250 messages |
| 2019-06-24 20:05:42 | willingc | create | |
|