Merge branch 'stable-4.1' into stable-4.2

* stable-4.1:
  JGit v4.0.3.201509231615-r

Change-Id: I6cc5bcefad2e8dee3394770d36608f981bfc9a9e
Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>

tags/v4.7.6.201810191618-r

David Pursehouse 5 years ago

parent

8c1d44e436 aebc8a41b8

commit

27acb4ab25

Split View Show Diff Stats

Merge branch 'stable-4.1' into stable-4.2

Diff Content Not Available