tree a0349d35bef51f2b972d64d8540e06e132fb69a5
parent 35efa269fa22093ffe2a8795268b637df2cf197e
parent 3345ccb8e887002f7ab3634b8d0d3c6d35185164
author David Pursehouse <dpursehouse@collab.net> 1540303196 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1540303196 +0000

Merge "Upgrade JGit to 5.1.3.201810200350-r" into stable-2.16