[hibernate-commits] [hibernate/hibernate-orm] 1855d2: HHH-12697 - Headings problem in Hibernate Document...