HEIR meeting 2023-12-12

Notes from the 2023-12-12 HEIR meeting.

Here are the notes and video recording from the HEIR meeting on 2023-12-12.

This is the last meeting for 2023. Please respond to this poll for 2024 scheduling preferences.

Last modified December 12, 2023: heir meeting 2023-12-12 blog post (a5eeb3d5)