Browse Source

Merge branch 'stable-4.3' into stable-4.4

* stable-4.3:
  JGit v4.0.3.201509231615-r

Change-Id: I147d81a9cc9c0f9e66084897df9c88c369539db7
Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>
tags/v4.7.6.201810191618-r
David Pursehouse 5 years ago
parent
commit
0de9ca38f4

Diff Content Not Available