== When == [[https://www.timeanddate.com/worldclock/fixedtime.html?iso=20210417T1400&p1=1440&ah=1|2021-04-17 14:00 UTC]] == 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 [[LogoDiscussion#Letterhead_.28Proposed.29|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 [[https://packages.debian.org/sid/mlton|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 [[https://github.com/pronovic/hcoop-meetbot|HCOOP Meetbot]] (not yet in use) == Records == === Minutes === Minutes: https://hcoop.net/board/meetings/2021/hcoop.2021-04-17-14.02.html