tree 6723e7d174bc5d7c104e6052908c5b8b3ea6228a
parent a6bcf5be76b81d15f5d199ac297a859c281a2381
parent bec741c204fd38a851da97729f7c899669d21bb2
author dtheinert <dietmar.theinert@pta.de> 1601547256 +0200
committer dtheinert <dietmar.theinert@pta.de> 1601547256 +0200

Merge branch 'DEVELOP' of ssh://git.eclipse.org:29418/openk-usermodules/org.eclipse.openk-usermodules.gridFailureInformation.frontend into SI-2938-BUG-Freitextfilter-filtert-nicht-nach-BACKSPACE