Like it matters. 10.0 works just as well, except it also has some more features for clustering and stuff. Is there a reason you don't want to use #
MariaDB
10.0?