tree 4d59c17f9d5d5527d5f43e5e20f31a45a721eb9c
parent 902e7b3552b1829c526c158bdee51781bb964b6b
parent 31e3c1e1d6f1ebec822609c957937d10b02e82a8
author dtheinert <dietmar.theinert@pta.de> 1602597817 +0200
committer dtheinert <dietmar.theinert@pta.de> 1602597817 +0200

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