Good news from cn mirror, the page http://cn.metamath.org/mpeuni/mmrecent.html was updated.
My assumption is that Norm had set up some automatic mechanism to sync between mirrors and the main site? Mingli On Sat, Jan 22, 2022 at 2:50 PM 'Alexander van der Vekens' via Metamath < [email protected]> wrote: > 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 > <https://groups.google.com/d/msgid/metamath/f51a5421-adba-4541-ab75-2f26c6432a9bn%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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/CAGDRuAiu8jArYM-mqpVTL7o2z9cXc5_yPk8UBRuy3DZhHh1fgg%40mail.gmail.com.
