On Sun, Jan 21, 2018 at 2:43 AM, Steven D'Aprano <st...@pearwood.info>
wrote:

> On Fri, Jan 19, 2018 at 06:35:30PM +0000, Rob Speer wrote:
> > Guido had some very sensible feedback just a moment ago. I am wondering
> now
> > if we lost Guido because I broke python-ideas etiquette (is a pull
> request
> > not the next step, for example? I never got a good answer on the
> process),
> > or because this thread is just constantly being derailed.
>
> I don't speak for Guido, but it might simply be he isn't invested
> enough in *this specific issue* to spend the time wading through a
> long thread. (That's another reason why a PEP is sometimes valuable.)
> Perhaps he's still on holiday and only has limited time to spend on
> this.
>

Actually my reason to withdraw is that the sides seem to be about as well
dug in as the sides during WW1. There's not much I can do in such case
(except point out that the status quo wins).

-- 
--Guido van Rossum (python.org/~guido)
_______________________________________________
Python-ideas mailing list
Python-ideas@python.org
https://mail.python.org/mailman/listinfo/python-ideas
Code of Conduct: http://python.org/psf/codeofconduct/

Reply via email to