John Johansen Mon, 13 Nov 2023 10:43:17 -0800
The Tuesday Nov 14 irc meeting is canceled. If there is a need, a new meeting can be scheduled by replying to this email or asking on irc