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

Reply via email to