On Fri, Jul 13, 2018 at 12:48 AM Ivan Levkivskyi <[email protected]> wrote: > > On 12 July 2018 at 16:41, Victor Stinner <[email protected]> wrote: >> >> 2018-07-12 17:14 GMT+02:00 Abdur-Rahmaan Janhangeer <[email protected]>: >> > sorry for reviving the dead but community acceptance, a fundamental pep >> > principle has not been respected for 572 >> > >> > also 29 core devs dislike vs 3 like >> >> [...] *as the PEP evolved* in the meanwhile. > > > Yes, the PEP has improved significantly since that time. My guess is the same > poll taken now could give an opposite result. >
I still -0 on PEP 572. But strong -1 on restart discussion about changing it. We should polish and implement it for now, not change. -- INADA Naoki <[email protected]> _______________________________________________ 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
