Le nouvel orchestrateur Kubernetes de MariaDB obtient la certification Red Hat OpenShift