I don't know, but I also don't know why anyone didnt make the switch to MariaDB yet...
Non of the top Internet dogs - Facebook, Twitter, Uber run MariaDB
https://www.theregister.co.uk/2013/09/12/google_mariadb_mysq...
And Wikipedia: https://blog.wikimedia.org/2013/04/22/wikipedia-adopts-maria...
In Google BTW I'm not sure how much MySQL/MariaDB is left at all. They have been moving most of the stuff to Spanner.