Julian Hyde wrote:
How many moderators do we have for the dev and private lists? I am a moderator, but I don’t know if there are any others. I don’t think we need a huge number of moderators, but for latency& redundancy we ought to have at least 2, maybe 3.Any volunteers? (A moderator must be a PMC member, IIRC.) Julian