Merge branch 'stable-4.7' into stable-4.8
* stable-4.7: Prepare 4.7.4-SNAPSHOT builds JGit v4.7.3.201809090215-r Change-Id: I980807ad4701f9e510354b505c9556e123f32471 Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
This commit is contained in:
commit
81735222c9