Chris Jerdonek added the comment: Just an FYI that Ezio asked Georg about this issue on IRC yesterday or the day before, and Georg said +1. ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue15437> _______________________________________