tree 17aafe7a061d6ab00477787672c86a3b4716dc67
parent a17d2b66ac39ccd781be216729579a07b695c63e
author David Pursehouse <dpursehouse@collab.net> 1541414657 +0900
committer David Pursehouse <dpursehouse@collab.net> 1541414657 +0900

Upgrade JGit to 5.1.3.201810200350-r

This aligns with the version used on Gerrit's stable-2.16 branch.

Change-Id: I161471a206641ca1434b7f1e086a90738735efd1