tree 671b8589d1b745424c9ee4d15b2585f292cd26f6
parent 531da4e5e9bb4c1f1d2322c5a70bdc2dc86e1480
parent 0de8e1e65cdc5c87acad672b96df71122e3c8886
author Matthias Sohn <matthias.sohn@sap.com> 1537276857 +0200
committer Matthias Sohn <matthias.sohn@sap.com> 1537276857 +0200

Merge branch 'stable-4.7' into stable-4.8

* stable-4.7:
  Prepare 4.7.5-SNAPSHOT builds
  JGit v4.7.4.201809180905-r
  Update API problem filter

Change-Id: I9a9abcd2e48e19295d537241c951308cd0210019
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>