MariaDB Raises $9M More, Michael Howard Named New CEO, Monty Widenius CTO · HackerTrans