<div dir="auto"><div><div class="gmail_extra"><div class="gmail_quote">On 13 Dec. 2017 12:53 pm, "Victor Stinner" <<a href="mailto:victor.stinner@gmail.com">victor.stinner@gmail.com</a>> wrote:<br type="attribution"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">2017-12-13 0:24 GMT+01:00 Guido van Rossum <<a href="mailto:guido@python.org">guido@python.org</a>>:<br>
> Considered disagreement is acceptable.<br>
<br>
Sure, I'm fine with that ;-)<br>
<div class="quoted-text"><br>
> Nick, congrats with PEP 565! Please update the PEP to mark it as approved<br>
> with a link to this message as the resolution, and let's get the<br>
> implementation into 3.7a4!<br>
<br>
</div>Nick wrote that he will be away, since I update his PEP:<br>
<a href="https://github.com/python/peps/commit/355eced94cf4117492c9e1eee8f950f08e53ec90" rel="noreferrer" target="_blank">https://github.com/python/<wbr>peps/commit/<wbr>355eced94cf4117492c9e1eee8f950<wbr>f08e53ec90</a></blockquote></div></div></div><div dir="auto"><br></div><div dir="auto">Thanks Guido for the approval, and Victor for explaining the dev mode connection updating the PEP status!</div><div dir="auto"><br></div><div dir="auto">I'll get the implementation updated & merged in the first week of January (my phone is my only client device for most of the time until then).</div><div dir="auto"><br></div><div dir="auto">Cheers,</div><div dir="auto">Nick.</div><div dir="auto"><div class="gmail_extra"><br></div></div></div>