On Fri, Nov 9, 2018 at 1:55 PM Nevin Liber <nevin@eviloverlord.com> wrote:

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?

I propose we take this poll yesterday, at the SG15 evening session. We then take that vote into account to inform the other questions Rene asks here. Knowing fully that evening votes are non-binding, and reflector polls are even less binding.