Brief outage today

The primary server in the pool system had a brief outage today after running out of memory. All is better now. Because of the distributed nature of the service itself, serving of time to ntp users around the world wasn’t materially affected.