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/