1. When

2021-04-17 14:00 UTC

2. Proposed Agenda

• Elect officers so we can file with Pennsylvania by April 30
• General update on finances
• GANDI domain renewal email from April 13 - anything we need to do?

  • ClintonEbadi just needs to renew everything this weekend, no big deal (usually do it just before elections though)

• Status of volunteer coordinator request
• Change paypal contact name

  • We tried maybe five years ago, but it was derailed by bikeshedding over the Letter Head. ClintonEbadi proposes we just use what has been suggested for this instead of dealing with formally adopting one before getting AdamChlipala removed as the contact, as he has not been a board member in many years and it's not great to leave former board members on important accounts.

• Quick discussion about the Debian mlton package - how we use it, the impact to us given that it's not officially in Debian any more

  • ClintonEbadi says: to summarize, I just build it from source using the sid packaging although there has finally been a new release so that's a bit out of date. It is kind of complicated to bootstrap though: have to use an existing binary package injected into the pbuilder to build mlton, then after that inject the new package to the pbuilder to build again to ensure a clean build. AFAICT the dropping from stable is because there's a circular build dependency that requires manual intervention to break. This isn't too bad, because until Debian 8 IIRC it wasn't even in Debian at all and we just built to /usr/local.

• Status & planning for new HCOOP Meetbot (not yet in use)

3. Records

3.1. Minutes

Minutes: https://hcoop.net/board/meetings/2021/hcoop.2021-04-17-14.02.html