[hibernate-commits] [hibernate/hibernate-orm] 08a7ed: HHH-20539 more option naming churn (#12758)