[Maria-developers] Bug in ENUM options handling?