Nov. 8, 2017
4 p.m.
STINNER Victor <victor.stinner@gmail.com> added the comment: Thank you Petr for your PR! I merged it. ---------- _______________________________________ Python tracker <report@bugs.python.org> <https://bugs.python.org/issue29179> _______________________________________