FYI: I've doubled the storage of us.metamath.org <http://us.metamath.org/> (it was only down for a minute to resize things).
That *should* eliminate problems updating the final published results on the website. I guess we'll find out tomorrow! --- David A. Wheeler > On Jul 25, 2023, at 11:04 AM, David A. Wheeler <[email protected]> wrote: > > > >> On Jul 24, 2023, at 5:25 PM, David A. Wheeler <[email protected]> wrote: >> >> All: >> >> I plan to briefly take down us.metamath.org, a few hours from now, to >> double its storage space. > > New plan: I plan to do this tonight instead. > > --- David A. Wheeler > -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/33EBFEE8-7CB8-4639-8674-DBB934C04E7D%40dwheeler.com.
