tree 7077ad0b9ca6672d7c1fac0c453084cb14459089
parent 8c1d44e4366139ed971a98367962e7afb4893156
parent aebc8a41b8dfd3eb3e37e7ebe4c39719fb94c2a4
author David Pursehouse <david.pursehouse@gmail.com> 1539913286 +0900
committer David Pursehouse <david.pursehouse@gmail.com> 1539913291 +0900

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>