Pull request, https://github.com/hibernate/hibernate-orm/pull/709, was mislabeled. That pull request is really for HHH-9043.