STINNER Victor added the comment: Or should we just close the issue as "out of date"? ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue20669> _______________________________________