Hi folks, Earlier this evening, pool.ntp.org failed to resolve for us. Our internal resolvers running BIND, Google DNS and Verisign DNS all seemed to have trouble resolving this name. I haven't seen any tweets or anything else anywhere. Does anyone know what's going on? Regards, Anand Buddhdev RIPE NCC