Re: Short info about today's IRC meeting (2022-06-01)