20 Dec
2018
20 Dec
'18
6:17 p.m.
Doug Hellmann wrote:
My impression of the answers so far is that everyone would be able to live with option 1 (keeping the 3 fixed office hour slots), so let's do that.
If you disagree, please do speak up. I know we haven't heard from everyone, yet.
I have no objection. I just wanted us to take a quick step back and reconsider, given the limited outside participation we've been getting on those. I agree that they are cheap to maintain and create peaks of activity in the channel that are generally useful. -- Thierry Carrez (ttx)