Database Server 14 had a problem.

It stopped responding at around 12:05 AM UTC. I had to issue a manual restart, and at 12:25 AM, it was back online.

So, there was around 20 minutes of downtime for any instance using that server.

Everything looks good now, and I will investigate further to understand what caused the problem.

I am sorry for the trouble this caused.

Thanks 🐘