It would be nice to have

CREATE ROLE IF NOT EXISTS

Best regards David

 
1 year ago Ian Gilfillan

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