On Thu, Sep 24, 2020 at 7:33 AM Ricky Teachey <ri...@teachey.org> wrote: > > Hmmm, getting a 404 at: > > https://www.python.org/dev/peps/pep-0637 > > Is this just a temporary condition or a bug? >
Everything seems to be happy, so I'm going to guess that it's just taking a bit of time to propagate out. Give it a few minutes, maybe an hour tops, and see if it's live; if it still isn't, there might be an infrastructure issue somewhere. For now, you can read the text of the PEP here: https://github.com/python/peps/blob/master/pep-0637.txt ChrisA _______________________________________________ Python-ideas mailing list -- python-ideas@python.org To unsubscribe send an email to python-ideas-le...@python.org https://mail.python.org/mailman3/lists/python-ideas.python.org/ Message archived at https://mail.python.org/archives/list/python-ideas@python.org/message/NZM6YGU26VNQN7XIN45QMF4C3EKZTG6C/ Code of Conduct: http://python.org/psf/codeofconduct/