Antoine Pitrou added the comment: Since nobody seems to object to the patch, I'm commit it :) ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue18772> _______________________________________