#+title: November 22, 2022
#+date: <2022-11-22 Tue>

The server migration was completed around 04:30 UTC. All services should be back
to normal, please report in the IRC channel if you encounter any issues.