osdir.com

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Python-Dev] PEP 544 status (forked off "Petr Viktorin as BDFL-Delegate for PEP 580")


On Sun, Oct 7, 2018 at 7:55 AM Guido van Rossum <guido at python.org> wrote:
>
> OK, then maybe someone (not me) can merge https://github.com/python/peps/pull/799 for me.
>

Per discussion, merged.

ChrisA