Update JGit to 4.0.1.201506240215-r

This release fixes bug 468024 which can cause data loss if a pack is
pushed to a JGit based server and gc runs concurrently on the same
repository.

See https://bugs.eclipse.org/bugs/show_bug.cgi?id=468024

Change-Id: I7b0ce957edc2e4c8bee5dafe6c021c40320984b4
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
1 file changed