Message344711
@Jeroen Demeyer: Both mentionned PRs are merged, so I understand that you found your answer. Commenting closed issues is not the most efficient way to get an answer ;-) |
|
Date |
User |
Action |
Args |
2019-06-05 12:08:54 | vstinner | set | recipients:
+ vstinner, tim.peters, loewis, belopolsky, pitrou, python-dev, serhiy.storchaka, jdemeyer, koobs, miss-islington |
2019-06-05 12:08:54 | vstinner | set | messageid: <1559736534.09.0.183930249899.issue22117@roundup.psfhosted.org> |
2019-06-05 12:08:54 | vstinner | link | issue22117 messages |
2019-06-05 12:08:54 | vstinner | create | |
|