(In reply to Richard Biener from comment #3) > Fixed. Thank you very much - staging in progress; once merged, we will get mariadb resubmitted and stagged