Great, it works perfectly (as far as I have checked it). By the way, wasn't there oncy a German mirror site, was it? And I have looked at the Austrian mirror site - this seems not to be updated since October 2021. Does anybody now how the mirror sites are maintained?
On Saturday, January 22, 2022 at 6:30:37 AM UTC+1 David A. Wheeler wrote: > More progress - us.metamath.org been updated from us2.metamath.org, which > you can check by viewing: > http://us.metamath.org/mpeuni/mmrecent.html > > There are still several problems, but I'm happy we're making progress. > Worse comes to worse, I *do* have access to the DNS registration account, > so we can completely change systems if we decide to do so. > > --- 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/f51a5421-adba-4541-ab75-2f26c6432a9bn%40googlegroups.com.
