Merge branch 'stable-5.2' into stable-5.3

* stable-5.2:
  Prepare 5.1.14-SNAPSHOT builds
  JGit v5.1.13.202002110435-r

Change-Id: I78cbed22c0f0f5872fa44b9a564f6d31dcace582
This commit is contained in:
Matthias Sohn 2020-02-11 11:26:03 +01:00
commit a3986d944f

Diff Content Not Available