On Sat, Sep 22, 2018 at 12:41 PM Guido van Rossum <gu...@python.org> wrote: > Probably a bugs.python.org issue is a better place to dive into the details than python-dev.
Issue tracker issue created: https://bugs.python.org/issue34776
_______________________________________________ Python-Dev mailing list Python-Dev@python.org https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
