On Dec 6, 2017 21:14, "Guido van Rossum" <guido@python.org> wrote:
OK, then please just change the PEP's Version: header to 3.8.

Will do.  Have a nice vacation! :)

-eric