You're absolutely right. Thanks for pointing out.

The correct PR is https://github.com/hibernate/hibernate-orm/pull/1186