Server Updates Today

We'll be updating the server a bit this afternoon so the site will have some infrequent downtime for short blocks of time. (Two or three times, ten minutes each.) I'll post again here when we're all done.

Update: All done!

Advertisements