tree 41b38c4855d5d4982da72683a57a282dc216efee
parent 2fe80c31d221fdb1eb50db309b7a3eb0a5f9cde7
author David Pursehouse <dpursehouse@collab.net> 1539664240 +0900
committer David Pursehouse <dpursehouse@collab.net> 1539664240 +0900

Upgrade JGit to 5.1.2.201810061102-r

Change-Id: Icadf463cdc65223e576d9d205b036eab3233da90