tree 6ae43088a50043d3021533fee7085e4c21f299db
parent 582222ddaa5c13b4ba2d821cbb3fea92ccc0755e
author Luca Milanesio <luca.milanesio@gmail.com> 1583770395 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1583770398 +0000

Build pull-replication plugin on stable-3.1/master

Gerrit v3.1 and master need different versions of the pull-replication
plugin.

Change-Id: I401bb1277706807c5353fee331479bf5e2058f4f