[Maria-discuss] Need input on crashes on 3rd mariaDB server