- Behebung eines Absturzes, der manchmal beim Bearbeiten von Druckereinstellungen im Dialogfeld "Einstellungen" auftrat.
- Behebung von Fehlern auf der Registerkarte "Server-Edition-Lizenzierung".
- Wenn mehrere Server vorhanden sind, können Sie jetzt den Server Edition-Lizenzserver ändern, indem Sie mit der rechten Maustaste auf den Server in der Serverliste der Registerkarte Lizenzierung klicken.
