tree ecbb34a9d8cd67ef094b68f6f00599508613c5cb
parent 34f89fe75cadf1f57f378aeadcf7376ad1702870
author Luca Milanesio <luca.milanesio@gmail.com> 1588022257 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1588073315 +0000

Build menuextender plugin for Gerrit v3.{1,2}

Change-Id: Ib4d58f3556de778c1c0028afe1129800b19ab2a0