On Fri, Nov 9, 2018 at 1:42 PM JF Bastien <cxx@jfbastien.com> wrote:
I'd like us to poll:

Should we commit additional committee time to this proposal, knowing it will leave less time for other work?

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?
--
 Nevin ":-)" Liber  <mailto:nevin@eviloverlord.com>  +1-847-691-1404