OK, thanks, I'll submit a PR tomorrow. On Thu, Aug 31, 2017 at 6:21 PM, Steve Ebersole <st...@hibernate.org> wrote:
> Yes, I understand now. That is a good idea. > _______________________________________________ hibernate-dev mailing list hibernate-dev@lists.jboss.org https://lists.jboss.org/mailman/listinfo/hibernate-dev
