Oh, that was quick. Thanks! I counted Serhiy, Barry, Nick, you and me in favor of the change, and nobody against the code. So well, it's ok to merge it :-)
Victor 2017-11-20 18:49 GMT+01:00 Lukasz Langa <luk...@langa.pl>: > Merged. Thanks! ✨ 🍰 ✨ > > - Ł > >> On Nov 20, 2017, at 7:01 AM, Victor Stinner <victor.stin...@gmail.com> wrote: >> >> 2017-11-18 18:13 GMT+01:00 Brett Cannon <br...@python.org>: >>> +1 from me as well. >> >> Ok, I created https://bugs.python.org/issue32088 and >> https://github.com/python/cpython/pull/4474 to implement the proposed >> change. >> >> Victor >> _______________________________________________ >> 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/lukasz%40langa.pl > _______________________________________________ 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
