Something very odd is going on with DNS for the metamath.org sites. DNS *is* paid for, so it's not a failure to re-register.
Norm is aware of the problem & trying to track down what's going. Note that Norm currently cannot receive email due to this problem, so it won't help to email him :-). --- 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/E1iNOKZ-0001Lj-HY%40rmmprod07.runbox.
