(original) (raw)
On Sat, Sep 22, 2018 at 12:41 PM Guido van Rossum <guido@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