On Wed, 5 Sep 2018 at 18:28, Serhiy Storchaka <[email protected]> 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 [email protected] https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
