Neues auf shell.uugrn.org
Auf shell.uugrn.org habe ich alle Ports aktualisiert.
Die Änderungen sind zwar auf den ersten Blick nur marginal, allerdings habe ich dabei weitere Details der Package-Produktion und Rollout verfeinert bzw. getestet.
Have fun!
Raphael