On Friday, 24 June 2022 at 14:27:17 UTC, Mike Parker wrote: > The monthly meeting for June 2022 took place on June 10. Thanks, I like to read these summaries - keep 'em coming! This one had so much news that it was almost a D blog post.