tree c384be788e4110566c2de93b370f6bd8ee62bc2c
parent 363710b2a110d78afb96c5d66ca403312aa10d50
parent 0ea91c97638d75776c40afd993d25a0c4631c734
author Simon Reis <simon.reis@pta.de> 1611231662 +0100
committer Simon Reis <simon.reis@pta.de> 1611231662 +0100

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