Browse Source

Merge branch 'stable-4.0' into stable-4.1

* stable-4.0:
  JGit v4.0.3.201509231615-r

Change-Id: Ie74b0392ef145ffd27dc903c45f7fec2d4492a17
Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>
tags/v4.7.6.201810191618-r
David Pursehouse 3 years ago
parent
commit
aebc8a41b8

Diff Content Not Available