[Python-Dev] Re: PEP 616 -- String methods to remove prefixes and suffixes

2020年3月22日 09:09:52 -0700

Le dim. 22 mars 2020 à 06:07, Gregory P. Smith <[email protected]> a écrit :
> Nice PEP! That this discussion wound up in the NP-complete "naming things" 
> territory as the main topic right from the start/prefix/beginning speaks 
> highly of it. :)
Maybe we should have a rule to disallow bikeshedding until the
foundations of a PEP are settled. Or always create two threads per
PEP: one for bikeshedding only, one for otherthing else :-D
Victor
-- 
Night gathers, and now my watch begins. It shall not end until my death.
_______________________________________________
Python-Dev mailing list -- [email protected]
To unsubscribe send an email to [email protected]
https://mail.python.org/mailman3/lists/python-dev.python.org/
Message archived at 
https://mail.python.org/archives/list/[email protected]/message/IEKQRYMI4QSS3XHSQ73KDFEKJN6E4FJZ/
Code of Conduct: http://python.org/psf/codeofconduct/

Reply via email to