Am Donnerstag, den 24. September werden wir einen neuen Release (PubMan 8.1) auf PuRe einspielen.
Die Arbeiten beginnen um 9:30 Uhr und das System wird dabei für maximal eine Stunde nicht erreichbar sein. Genauere Informationen zum Release folgen bald.