Server DNS

We also just noticed our DNS settings has been reset. We have corrected the problem, but this would have prevented alerts from being sent out. Please manually confirm your jobs, whether you got an alert or not. Please be on the lookout for both false negatives and false positives. We apologize for the inconvenience.