tree 71373af0401d99412eab610a81b8152297ad3205
parent 1e6a876d30d8d85f538fddc014db489cd852c731
author Luca Milanesio <luca.milanesio@gmail.com> 1507589352 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1508446557 +0000

Build plugin-manager plugin on Gerrit v2.15

Change-Id: Ic67282f17d6b733e8bbb425aa69efc8e598b71e5