It took longer than I had hoped due to other commitments, but here is the pull request: https://github.com/hibernate/hibernate-orm/pull/776