On Dec 6, 2017 21:14, "Guido van Rossum" <gu...@python.org> wrote:
OK, then please just change the PEP's Version: header to 3.8. Will do. Have a nice vacation! :) -eric
_______________________________________________ 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
