From huch at in.tum.de  Wed Oct  2 13:21:37 2024
From: huch at in.tum.de (Fabian Huch)
Date: Wed, 2 Oct 2024 13:21:37 +0200
Subject: [isabelle-dev] Brief TUM server outage
Message-ID: <5bb4c556-a432-4f23-bbd4-59ba6263a46b@in.tum.de>

We will have a brief server outage today for BIOS updates.


Fabian