On 29 November 2017 at 12:10, Yubin Ruan <ablacktshirt@xxxxxxxxx> wrote: > Hi, > > what is the problem with man7.org? I can reach it. > > Yubin Hello Yubin, I didn't have a chance to reply earlier. Thanks for the heads up though, which alerted me to the problem, which I fixed in the meantime. I just change domain provider, and the DNS settings were not automatically carried over, though I had assumed (incorrectly, it seems) that they would be. Cheers, Michael -- Michael Kerrisk Linux man-pages maintainer; http://www.kernel.org/doc/man-pages/ Linux/UNIX System Programming Training: http://man7.org/training/ -- To unsubscribe from this list: send the line "unsubscribe linux-man" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
