Wartungsarbeiten: rpi-virtuell bekommt neue Server
Hurra, die neue Hardware ist da. Nach wiederkehrenden Hardwareproblemen soll rpi-virtuell auf leistungsfähigere Server umgezogen werden. Der Umzug ist diese Woche geplant. Vorübergehend wird die Plattform nicht erreichbar sein.