diff options
author | Matthias Sohn <matthias.sohn@sap.com> | 2020-12-03 00:01:37 +0100 |
---|---|---|
committer | Matthias Sohn <matthias.sohn@sap.com> | 2020-12-03 00:01:37 +0100 |
commit | 1a72faf1781578c375d5ec12d93d0cc8eae79800 (patch) | |
tree | e2863e6471c676953c3c3388bd605f0f47d36e85 | |
parent | 28b6b475b6a3b160d122145b0973ae3cbcd8a0d1 (diff) |
Update JGit to 8f422e9a9
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: I5e948970c8f92cf9e7639611715951af5f883805
m--------- | modules/jgit | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/modules/jgit b/modules/jgit -Subproject d1801402fee871610e983846225afd6339ce8ff +Subproject 8f422e9a9add4a7a7d972e8aa1dfa5e15fccdf9 |