Re: [Maria-discuss] Pacemaker and mariadb semi-sync