Release_2018-12-12

Christian Kniss

@christian.kniss

b6bf6a19 · Merge branch 'develop' into 'master' · Dec 12, 2018

Release: Release_2018-12-12

Fehlerbehebung: Beim externen Ändern des Einstellungs-Parameterdatensatz konnte es zum Verlust der Datenverteilerverbindung kommen, wenn ein Parameter entfernt wurde.