dist upgrade

Wer heute auf unseren Servern ein paar Ausfälle beobachtet hat, wir haben ein Distribution Upgrade gefahren um auf die aktuelle Version von Debian upzudaten. Das lief – wie erhofft und erwartet – reibungslos. Lediglich für media.pr-ide.de mussten einige Änderungen wegen [...]