Guido van Rossum added the comment: LGTM. Do you want me to commit it now or wait until you've redone it after #25958 has gone through? ---------- nosy: +gvanrossum _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue26019> _______________________________________