tree edc77f6eab2f9a6824530620e37f541abf74d429
parent ed434e4136c69f78bf037531b5f00a5cd1849888
parent 9dea6216e3e20c3a503bf4d3ee078dbc4d170867
author Simon Reis <simon.reis@pta.de> 1593092319 +0200
committer Simon Reis <simon.reis@pta.de> 1593092319 +0200

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