Message332621
@vstinner - I don't think that conclusion is correct, here is a very highly-upvoted answer on SO that indicates a lot of people are still looking for this:
https://stackoverflow.com/a/15008806/169947
I myself asked a related (more focused?) question where I was directed here:
https://stackoverflow.com/q/53937481/169947
I'm guessing the right thing to do now would be refocus the merge request in a new ticket - is this still the right tracker? |
|
Date |
User |
Action |
Args |
2018-12-27 21:22:42 | kenahoo | set | recipients:
+ kenahoo, bethard, vstinner, eric.smith, eric.araujo, Yaniv.Aknin, Jeremiah.Jordan, berker.peksag, paul.j3, wolma |
2018-12-27 21:22:40 | kenahoo | set | messageid: <1545945760.94.0.769174021388.issue8538@roundup.psfhosted.org> |
2018-12-27 21:22:40 | kenahoo | link | issue8538 messages |
2018-12-27 21:22:40 | kenahoo | create | |
|