commit | 4a8613f39a0772eb44bff2d72a68e5384ad92d10 | [log] [tgz] |
---|---|---|
author | Luca Milanesio <luca.milanesio@gmail.com> | Wed Oct 30 10:04:13 2019 +0000 |
committer | Luca Milanesio <luca.milanesio@gmail.com> | Wed Oct 30 10:04:13 2019 +0000 |
tree | 0a13e565555001482ff2086c76fa7532dd97e487 | |
parent | afce6bbb0dc8f400e815a49d9369627cf527f484 [diff] | |
parent | e5a89cec264c1cccb0fa5aa3237b140b3dc766cd [diff] |
Merge branch 'stable-3.1' * stable-3.1: Build github plugin against gerrit v3.1-rc1 Change-Id: I19449864b6b6fe59af42ba6b701a64374777223a