Merge proposals

Patches for Hibernate Core has no merge proposals.