23 Sep
2020
23 Sep
'20
9:39 p.m.
On Thu, Sep 24, 2020 at 7:33 AM Ricky Teachey <ricky@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