Dave Borowitz 4542cf2f26 Update JGit to 4.0.0.201506090130-r.62-gd2fbbc9 ...

Includes improved push certificate support.

Change-Id: I5063874dbfd3c1a081cc103d4d74d5d4b099ca7e

2015-06-18 16:13:56 -04:00

..

BUCK

Update JGit to 4.0.0.201506090130-r.62-gd2fbbc9

2015-06-18 16:13:56 -04:00