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: <[email protected]> |
| 2020-09-04 15:18:45 | vstinner | link | issue21987 messages |
| 2020-09-04 15:18:45 | vstinner | create | |
|