[hibernate-commits] [hibernate/hibernate-orm] 6f7b17: HHH-16035 change the default for hibernate.type.pr...