[Maria-discuss] Spider 3.0 is merged against MariaDB 10.0