7 months, 1 week ago Ian Gilfillan

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