Merge branch 'stable-4.10' into stable-4.11
* stable-4.10: 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: I6633f1e147444385c999a6ff1d443b8a07d08bfc Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
This commit is contained in:
commit
969af66800