>David, could you see if http://173.76.107.169/index.html works for >reaching >the site? That is the direct IP of us2.metamath.org. I can't test it >meaningfully because it's the IP of my house. If it works, could you >temporarily change the Travis script to retrieve the metamath program >from >there?
It works. I will change it once I get to a computer with a keyboard. --- 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/A80DD9C9-A617-45BF-815C-341BEC54BC8A%40dwheeler.com.
