David Pursehouse eb4f5d46ff Upgrade JGit to 4.2.0.201601211800-r.136-g8efdaaf
This is a recent snapshot built off JGit's master branch, including
the fixes that went into 4.1.2.201602141800-r which we have already
upgraded to on stable-2.12.

Change-Id: I9cb311906957f4cbc00e0d168abfe512c070dca1
2016-02-29 17:47:28 +09:00
..