tree 413aa8125d1bc1122694dc03a6d5969abd8df1a9
parent 46ab239508e4ecbc946da71b7176f5e21cd69b06
parent 3103786e974049b3b2b7521a052c026380fd4c33
author Dennis Schmitt <dennis.schmitt@pta.de> 1592912971 +0200
committer Dennis Schmitt <dennis.schmitt@pta.de> 1592912971 +0200

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