3.ie.pool.ntp.org downtime?

There was an outage. Not sure if it’s related. The outage didn’t show up on the status page, but pool servers weren’t polled. Graphs showed a gap for a few hours. @ask probably knows more about it.