tree 3ded1b660133f1ee70b5c375d4918fd57f929a95
parent a1a5d8a1ef1084ac7e119afdd98b0f447ec56431
parent d490398d02b34c6be4fe0bd5bfbbb06dea3dcb96
author Marco Miller <marco.mmiller@gmail.com> 1575512907 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1575512907 +0000

Merge "Upgrade JGit to v5.6.0.201912041214-rc1" into stable-3.1