July 31, 2016
11 p.m.
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>.