[MariaDB developers] Re: [PATCH] MDEV-36934: semi sync makes the master unresponsive when a replica is stopped