今朝4時頃から、Ubuntu 19.04だったサーバが一つだけあったので、19.10にアップデートするメンテを実行しました。

20.04は4/23のリリースを予定しているようですね。