STINNER Victor added the comment: @ichael Herrmann: ping? Without feedback, I will close the issue. ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue19046> _______________________________________