tree e47530cfebf0f3fc1e982bbb044135938dbf6d4f
parent 21e70b7cd9e4f65347e7354f214f89b16b9eceff
author David Pursehouse <dpursehouse@collab.net> 1558766786 +0900
committer David Pursehouse <dpursehouse@collab.net> 1558772698 +0900

Upgrade JGit to 5.3.1.201904271842-r

This aligns with the version used on Gerrit's stable-3.0 and
master branches.

Change-Id: I19ffc7b4a6c84ad5b41ee8f56d245600698ffd36