Dirks Logbuch

Und wieder ein neues Mediawiki-Release.

Hier sind die Release Notes und hier die Datei.

Update funktionierte - wie fast immer - durch überkopieren.