On Fri, Nov 9, 2018 at 1:42 PM JF Bastien <cxx_at_[hidden]> 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_at_[hidden]>  +1-847-691-1404