tree 19baa98ec478d25c1890d40c0303d9ba36ee2a10
parent 00e3a29ab730ccb0e2984d988edbff806020d4f4
author David Pursehouse <dpursehouse@collab.net> 1541661249 +0900
committer David Pursehouse <dpursehouse@collab.net> 1541661355 +0900

Upgrade JGit to 5.1.3.201810200350-r

This aligns with the version used in Gerrit 2.16.

Change-Id: I3ad5c0d35bce298532d1f38df4d45d698618c99b