
On Sun, Jan 21, 2018 at 2:43 AM, Steven D'Aprano <steve@pearwood.info> 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
On Fri, Jan 19, 2018 at 06:35:30PM +0000, Rob Speer wrote: 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)