tree 58cbde7935f5095ba0123d3391120e460fea84e5
parent d53350c3e34353e167d90765bcd041a8ee899330
author Luca Milanesio <luca.milanesio@gmail.com> 1678491579 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1678491579 +0000

Build high-availability on stable-3.7

Change-Id: I6729d01544b92d67d7a15c26f9898ce4e9eb3c26