tree 1cd98fcca708ff48f0370da609c8144854a2dc10
parent 5f474f424f8cea82ef975174adf4ef2907615244
author Luca Milanesio <luca.milanesio@gmail.com> 1512727056 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1517952056 +0000

Build metrics plugins on Gerrit 2.15

Change-Id: I9797edde5f678f5374732937b772209324729048