Comment by riffraff

What did MariaDB Inc do?

Forgive my ignorance, I don't follow MySQL or its forks but I'm curious.