One of our servers was slow in processing requests, so some users saw intermittent performance problems. We restarted our servers which fixed the problems.

We'll investigate why this happened and what we can do to prevent these problems in the future.