Red Hat says no MariaDB/MySQL decision made