Guido van Rossum added the comment: Yes please. Thanks for thinking about all the edge cases here! ---------- nosy: +gvanrossum _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue25987> _______________________________________