Antoine Pitrou added the comment: I suppose we can close this issue now? ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue18984> _______________________________________