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