MyRocks is coming to MariaDB. I think this is great news for MyRocks and the MariaDB community. Thank you.

https://jira.mariadb.org/browse/MDEV-9658
--