tree ce2d1da284da55c10404778bda6ddb3460ab9a35
parent 97814b41f04ea54d37bc95838c8a898f3bec1f7d
parent 1dea2aa41583829cf2668ea58695710201c52941
author David Ostrovsky <david.ostrovsky@gmail.com> 1606486959 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1606486959 +0000

Merge "Upgrade JGit to 5cd485e5"