Wednesday Meeting, 2026 03 04

Wednesday Meeting, 2026-03-04

Lecture Theatre D

Attending

• Reinis Cirpons
• Joe Edwards
• Josh James
• James Mitchell

Apologies:

• Michael Young

Minutes

Participant	Activity
Reinis Cirpons	Formalising HNN extensions, opening a French bank account
Joe Edwards	Working on some action issues, and talking to James
Josh James-Lee	Working on PR for Yggdrasil
James Mitchell	Manifesting successful PR runs and fixing some type hints

The meeting began at 14:00 and ended slightly earlier at 16:00, due to the small number of attendees. Some attendees joined virtually via Teams.