Feb. 9, 2017
6:14 p.m.
On Thu, Feb 9, 2017 at 12:37 PM, Brett Cannon <brett@python.org> wrote:
+1: Nick, Senthil, Chris +0: ... -0: Martin, Brett -1: Naoki, Berker
+1 BTW, not directly related to the issue at hand, but # is a really bad choice for the issue markup because messages with lines that start with # cannot be edited by the standard git tools that remove such lines.