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 <lukasz at langa.pl>: > Merged. Thanks! ✨ 🍰 ✨ > > - Ł > >> On Nov 20, 2017, at 7:01 AM, Victor Stinner <victor.stinner at gmail.com> wrote: >> >> 2017-11-18 18:13 GMT+01:00 Brett Cannon <brett at 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 at python.org >> https://mail.python.org/mailman/listinfo/python-dev >> Unsubscribe: https://mail.python.org/mailman/options/python-dev/lukasz%40langa.pl >
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4