Merge branch 'stable-5.1' into stable-5.2
* stable-5.1: Prepare 5.1.6-SNAPSHOT builds JGit v5.1.5.201812261915-r Change-Id: Idab456457200ec46f0e4e22bc6e54401b5b57285 Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
This commit is contained in:
commit
a26bf7231e