![](https://secure.gravatar.com/avatar/fa0f7819f1825f596b384c19aa7dcf33.jpg?s=120&d=mm&r=g)
25 Feb
2018
25 Feb
'18
7:55 p.m.
Mariatta Wijaya <mariatta.wijaya@gmail.com> added the comment:
PR 4041 looks good to me. Mariatta, do you have time to look at Mario's patch?
Sorry I just saw this now, months later. Looks good to me. I can merge and backport once the CI passed. Thanks! ---------- _______________________________________ Python tracker <report@bugs.python.org> <https://bugs.python.org/issue31454> _______________________________________