]> source.dussan.org Git - jgit.git/commitdiff
Merge branch 'stable-5.2' into stable-5.3 79/157479/1
authorMatthias Sohn <matthias.sohn@sap.com>
Tue, 11 Feb 2020 10:26:03 +0000 (11:26 +0100)
committerMatthias Sohn <matthias.sohn@sap.com>
Tue, 11 Feb 2020 10:26:03 +0000 (11:26 +0100)
* stable-5.2:
  Prepare 5.1.14-SNAPSHOT builds
  JGit v5.1.13.202002110435-r

Change-Id: I78cbed22c0f0f5872fa44b9a564f6d31dcace582


Trivial merge