tree 02e78fd87bf3eb5212c7ff431242f18186e6c899
parent 29159f1171c4930128ab0557836e856ce8cba6c8
parent 78a2bafdc90b7c613643f78dd1ff0926334e5407
author David Pursehouse <david.pursehouse@gmail.com> 1539913128 +0900
committer David Pursehouse <david.pursehouse@gmail.com> 1539913135 +0900

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>