tree aeaac7ec3193687bc89ff0634a0db639855b4378
parent a616fcdc7d7eafe534bfa97ae0b0c8de70585b31
author Luca Milanesio <luca.milanesio@gmail.com> 1546129893 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1546129901 +0000

Build high-availability plugin on stable-2.16

Change-Id: I11e672bd3ffaaf10a2b76bda515b665483d0b264