John Johansen Sun, 07 May 2023 14:26:08 -0700
The Tuesday May 9 irc meeting is canceled. If there is a need, a new meeting can be scheduled by replying to this email or asking on irc