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 <[email protected]>: > Merged. Thanks! ✨ 🍰 ✨ > > - Ł > >> On Nov 20, 2017, at 7:01 AM, Victor Stinner <[email protected]> wrote: >> >> 2017-11-18 18:13 GMT+01:00 Brett Cannon <[email protected]>: >>> +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 >> [email protected] >> https://mail.python.org/mailman/listinfo/python-dev >> Unsubscribe: >> https://mail.python.org/mailman/options/python-dev/lukasz%40langa.pl > _______________________________________________ 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
