Private equity offer for MariaDB gets thumbsup from shareholders (theregister.com)