Message353649
Nick merged my two PRS, so the initial concern is gone :-) I close the issue. Thanks for the feedback, it was an interesting talk. Sorry for the bad timing. I dislike working under pressure of a deadline :-( |
|
| Date |
User |
Action |
Args |
| 2019-10-01 08:28:10 | vstinner | set | recipients:
+ vstinner, twouters, gregory.p.smith, ncoghlan, lukasz.langa, steve.dower |
| 2019-10-01 08:28:10 | vstinner | set | messageid: <[email protected]> |
| 2019-10-01 08:28:10 | vstinner | link | issue38326 messages |
| 2019-10-01 08:28:10 | vstinner | create | |
|