http://us2.metamath.org is also not working. May this also be the reason why the Travis build for my pull request failed?
On Wednesday, October 23, 2019 at 9:08:22 PM UTC+2, David A. Wheeler wrote: > > On Wed, 23 Oct 2019 11:23:56 -0700 (PDT), Richard Penner < > [email protected] <javascript:>> wrote: > > It seems like there was an event which resulting in DNS failures with > the > > metamath.org domain, with us2.metamath.org being directed to some New > York > > cable subscriber and other addresses failing outright. > > Yes. I can't reach us.metamath.org or www.metamath.org. > > Norm: Do you need help? > > --- 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/cc30ec87-92e0-420a-8a42-f04a42ff8738%40googlegroups.com.
