Monthly Archives: October 2020

Blog Migration Completed

I mentioned in a blog post last month that we’d be migrating the domain name registrar and site hosting. We’ve now completed the process, and as far as I can tell everything migrated correctly. If any of you see any … Continue reading

Posted in Administrivia | 2 Comments