7 months, 2 weeks ago David Villalobos Cambronero

It would be nice to have

CREATE ROLE IF NOT EXISTS

Best regards David

 
7 months, 1 week ago Ian Gilfillan

This has existed since MariaDB 10.1.3 - see CREATE ROLE#IF NOT EXISTS.