<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Feb 9, 2017 at 12:37 PM, Brett Cannon <span dir="ltr"><<a href="mailto:brett@python.org" target="_blank">brett@python.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">+1: Nick, Senthil, Chris<div>+0: ...<br></div><div>-0: Martin, Brett</div><div>-1: Naoki, Berker</div></div></blockquote></div><br>+1</div><div class="gmail_extra"><br></div><div class="gmail_extra">BTW, not directly related to the issue at hand, but # is a really bad choice for the issue markup</div><div class="gmail_extra">because messages with lines that start with # cannot be edited by the standard git tools that</div><div class="gmail_extra">remove such lines.</div></div>