Dave Borowitz b82e74646e Update JGit to 4.0.1.201506240215-r.94-g39dc898 ...

Includes more push certificate improvements

Change-Id: I20fa303477899f6f5465aed8f430f0a44355c3a0

2015-07-15 19:58:35 -07:00

..

BUCK

Update JGit to 4.0.1.201506240215-r.94-g39dc898

2015-07-15 19:58:35 -07:00