[hibernate-commits] [hibernate/hibernate-orm] a5b820: release 4.1.2