I see that https://github.com/hibernate/hibernate-orm/pull/783 (my PR against master) was closed without comment. Why was that?