tree 04afc8c0231486d5d0ab4d0ab92ed44a20b165d1
parent ffa237e7dbd56df2f28d45113fe0ea03337900f1
parent 27acb4ab258300ae1125d740a48d13dadff85ac8
author David Pursehouse <david.pursehouse@gmail.com> 1539913341 +0900
committer David Pursehouse <david.pursehouse@gmail.com> 1539913346 +0900

Merge branch 'stable-4.2' into stable-4.3

* stable-4.2:
  JGit v4.0.3.201509231615-r

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