commit | c072afd9e592c8d4ce27112d777e52cd73e8b660 | [log] [tgz] |
---|---|---|
author | David Pursehouse <dpursehouse@collab.net> | Mon Nov 05 19:44:17 2018 +0900 |
committer | David Pursehouse <dpursehouse@collab.net> | Mon Nov 05 19:44:17 2018 +0900 |
tree | 17aafe7a061d6ab00477787672c86a3b4716dc67 | |
parent | a17d2b66ac39ccd781be216729579a07b695c63e [diff] |
Upgrade JGit to 5.1.3.201810200350-r This aligns with the version used on Gerrit's stable-2.16 branch. Change-Id: I161471a206641ca1434b7f1e086a90738735efd1