tree ce070b73c5505cf5a829c3b64a2e478d921c638f
parent 336c07cd82eab4e357147ccae3c17b7ff372bd85
parent 92acedee04cbd4751994961f80e102dcfb815f1f
author dtheinert <dietmar.theinert@pta.de> 1602676101 +0200
committer dtheinert <dietmar.theinert@pta.de> 1602676101 +0200

Merge branch 'DEVELOP' of ssh://git.eclipse.org:29418/openk-usermodules/org.eclipse.openk-usermodules.gridFailureInformation.frontend into SI-2948-BUG-abgeschlossene-Verdichtung-laesst-sich-weiter-verdichten