1 year ago Ian Gilfillan

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