[hibernate-commits] [hibernate/hibernate-orm] da27de: Make identifiers case insensitive in MySQL/MariaDB