doc/UPGRADE und doc/releasemanagement.txt aktualisiert
kleine Ergänzungen, Typos, Korrekturen, Formatierung.
Archiverstellung für github angepasst.
doc/UPGRADE und doc/releasemanagement.txt aktualisiert
kleine Ergänzungen, Typos, Korrekturen, Formatierung.
Archiverstellung für github angepasst.