On Wed, 5 Sep 2018 at 18:28, Serhiy Storchaka <storch...@gmail.com> wrote:
> There is a closed issue for this: https://bugs.python.org/issue22515. > Oh, thanks, I had missed that. I guess I can live with it, although I agree with [the last comment][1] that this decision does not make a lot of sense. But hey, who am I to second-guess Guido anr Raymond H. Cheers, E [1]: https://bugs.python.org/issue22515#msg253251
_______________________________________________ Python-Dev mailing list Python-Dev@python.org https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
