[hibernate-announce] Hibernate ORM 5.2.12.Final has been released