27 Aug
2019
27 Aug
'19
1:08 p.m.
On Tue, Aug 27, 2019 at 6:30 AM Chris Dent cdent+os@anticdent.org wrote:
On Tue, 27 Aug 2019, Thierry Carrez wrote:
Thoughts?
Good idea, but I'd argue that 11 is still too many. 7 or 5 might be a better target. Getting there might be complicated but I think it would be useful by providing an opportunity to winnow the focus of the TC to what matters (whatever we might decide that is).
+1. I would vote for a reduction to 11, but I would like to see it smaller.
// jim