On Sun, Jul 31, 2016 at 4:43 PM, Guido van Rossum <guido@python.org> wrote:

Sounds good to me.

Thanks for a quick response. I've posted a patch at <http://bugs.python.org/issue27661>.