Antoine Pitrou added the comment: It sounds a bit too late, although that would be Larry's call. ---------- nosy: +larry _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue20209> _______________________________________