It's been almost a month since our last meeting, as we accommodated Rob's absence two weeks ago by not having a meeting. However, our next scheduled meeting is scheduled for 14-March, or in the United States, 3/14—also known as Pi Day. We encourage everyone to attend live; virtual pi will be provided.

Issue triage