[hibernate-dev] Hibernate ORM 5.4.19.Final has been released