]> source.dussan.org Git - jgit.git/commitdiff
Merge branch 'stable-4.11' into stable-5.0 45/129645/1
authorMatthias Sohn <matthias.sohn@sap.com>
Tue, 18 Sep 2018 14:50:51 +0000 (16:50 +0200)
committerMatthias Sohn <matthias.sohn@sap.com>
Tue, 18 Sep 2018 14:50:51 +0000 (16:50 +0200)
* stable-4.11:
  Prepare 4.11.4-SNAPSHOT builds
  JGit v4.11.3.201809181037-r
  Prepare 4.9.6-SNAPSHOT builds
  JGit v4.9.5.201809180939-r
  Prepare 4.7.5-SNAPSHOT builds
  JGit v4.7.4.201809180905-r
  Update API problem filter

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

Trivial merge