Merge branch 'stable-4.9' into stable-4.10
* stable-4.9: Prepare 4.7.5-SNAPSHOT builds JGit v4.7.4.201809180905-r Update API problem filter Change-Id: I19b9be956b4e9bb1bba303ad879baac250988e8e Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
This commit is contained in:
commit
3d7476b1b3