tree f1828cf93f74e4e2fe7c71d0b95a815459ac80ea
parent 2a8114f635d18edac87f2086bf351f498f65b1a2
parent ec3d1e5f9fe7175eecd5f4995cf24624c7605505
author Peter Buschmann <peter.buschmann@pta.de> 1600191952 +0200
committer Peter Buschmann <peter.buschmann@pta.de> 1600191952 +0200

Merge branch 'SI-2564-close-button' of ssh://git.eclipse.org:29418/openk-usermodules/org.eclipse.openk-usermodules.gridFailureInformation.frontend into DEVELOP