]> source.dussan.org Git - jgit.git/commitdiff
Merge branch 'stable-4.7' into stable-4.8 26/129626/1
authorMatthias Sohn <matthias.sohn@sap.com>
Tue, 18 Sep 2018 13:20:57 +0000 (15:20 +0200)
committerMatthias Sohn <matthias.sohn@sap.com>
Tue, 18 Sep 2018 13:20:57 +0000 (15:20 +0200)
* 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>

Trivial merge