<div dir="ltr">On Fri, Nov 9, 2018 at 1:42 PM JF Bastien &lt;<a href="mailto:cxx@jfbastien.com">cxx@jfbastien.com</a>&gt; wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div dir="ltr">I&#39;d like us to poll:<div><br></div></div><blockquote style="margin:0 0 0 40px;border:none;padding:0px"><div dir="ltr"><div><div>Should we commit additional committee time to this proposal, knowing it will leave less time for other work?</div></div></div></blockquote></div></blockquote><div><br></div><div>Clarification question:  How do you propose this poll be taken?  Is it in-person at this meeting, email or something else? Is there discussion, and if so, where?</div></div>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div> Nevin &quot;:-)&quot; Liber  &lt;mailto:<a href="mailto:nevin@eviloverlord.com" target="_blank">nevin@eviloverlord.com</a>&gt;  +1-847-691-1404</div></div></div></div></div></div>