Die neue PubMan-Version 7.11 wird auf PuRe eingespielt.

Die Arbeiten  dafür starten am Montag, den 29. August, mittags ab 13 Uhr und werden sich maximal bis in den späten Nachmittag hinziehen.

Während dieser Zeit können alle vorhandenen Daten angesehen und abgerufen werden, allerdings sind keine neuen Eingaben möglich.
Die REST-Schnittstelle wird während der Read-Only Phase wie gewohnt zur Verfügung stehen. Auch bei den IPs wird es zu keinen Änderungen kommen.