RSS-Beitrag

27.10.2020 - 10:31:15

Update der Gremien-BBB Instanz

Heute, am 27.10.2020, werden ab 23:00 Uhr Updates auf die Gremien-BBB-Instanz aufgespielt. Die Updates sollten binnen einer Stunde aufgespielt sein. Das System steht währenddessen nicht zur Verfügung.,