diff options
| author | Matthias Sohn <matthias.sohn@sap.com> | 2020-12-02 23:41:21 +0100 |
|---|---|---|
| committer | Matthias Sohn <matthias.sohn@sap.com> | 2020-12-02 23:41:21 +0100 |
| commit | 7a7b57641bff078c8c76a448ac812cd3fb3ee494 (patch) | |
| tree | 3676c1882c3954381cc2a3a00a777eff331ede53 | |
| parent | 0153ef618c3982f6db1277c38c3d3ac49990ac89 (diff) | |
Update JGit to c9d871f15
This version fixes a bug occurring when processing a fetch request and
running gc concurrently.
Bug: https://bugs.eclipse.org/bugs/show_bug.cgi?id=569349
Change-Id: If9262d80bb50e107d6ba478b781160adc51cacdc
| m--------- | modules/jgit | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/modules/jgit b/modules/jgit -Subproject ad902087820c1b2b3147b45ffbac4e3804274f9 +Subproject c9d871f15d4daa4ab959b34d2a0759016e41564 |