Message376373
> Any updates on this?
So far, nobody proposed a pull request. So no, there is no update.
Someone has to step in, dig into the issue, propose a fix, then someone else has to review the PR, and finally the PR should be merged. |
|
Date |
User |
Action |
Args |
2020-09-04 15:18:45 | vstinner | set | recipients:
+ vstinner, lars.gustaebel, r.david.murray, serhiy.storchaka, puppet, moloney, zigg, af |
2020-09-04 15:18:45 | vstinner | set | messageid: <1599232725.5.0.650330168979.issue21987@roundup.psfhosted.org> |
2020-09-04 15:18:45 | vstinner | link | issue21987 messages |
2020-09-04 15:18:45 | vstinner | create | |
|