diff options
author | David Pursehouse <dpursehouse@collab.net> | 2018-10-23 13:59:56 +0000 |
---|---|---|
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2018-10-23 13:59:56 +0000 |
commit | 7450619aec56f23892cbdf0236fbea0b9f4e9bed (patch) | |
tree | a0349d35bef51f2b972d64d8540e06e132fb69a5 /tools/maven/gerrit-plugin-api_pom.xml | |
parent | 35efa269fa22093ffe2a8795268b637df2cf197e (diff) | |
parent | 3345ccb8e887002f7ab3634b8d0d3c6d35185164 (diff) |
Merge "Upgrade JGit to 5.1.3.201810200350-r" into stable-2.16
Diffstat (limited to 'tools/maven/gerrit-plugin-api_pom.xml')
0 files changed, 0 insertions, 0 deletions