tree 353d85741bbb89c006a3460d4723d385c586a936
parent ae28436a21524364b5d7a8eedd747893f20deb61
author David Pursehouse <dpursehouse@collab.net> 1550122668 +0900
committer David Pursehouse <dpursehouse@collab.net> 1550186705 +0900

Upgrade JGit to 5.1.5.201812261915-r

To match the version used in Gerrit since 2.16.3.

Change-Id: I2fc411ad0dfcc6664bf630c60cb642648ea7c95f