1. Agenda
Electing a new treasurer (if AdamChlipala still wishes to vacate the position)
- Usual financial report
- Income, Monthly expenses, member count, deficit size, etc.
- Report from sysadmins: overall and per-person
- Feedback from members / Any other business