]> source.dussan.org Git - jgit.git/commit
Merge branch 'stable-5.1' 50/129650/1
authorMatthias Sohn <matthias.sohn@sap.com>
Tue, 18 Sep 2018 15:46:35 +0000 (17:46 +0200)
committerMatthias Sohn <matthias.sohn@sap.com>
Tue, 18 Sep 2018 15:46:35 +0000 (17:46 +0200)
commit4741b072bd07e49dd77c7d777fda3eb8617eefc4
tree660f2ecfb2ec860dee73367bc2885da5b2079802
parentab9364fe6cbd48a3e06c70052f480d19c37f216e
parent48e21dc10b967746711a6184ced5c33208938a83
Merge branch 'stable-5.1'

* stable-5.1:
  Prepare 5.1.2-SNAPSHOT builds
  JGit v5.1.1.201809181055-r
  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: I50466bd95ac88a5a8f03ef52d9a59be46b13f81e
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>