many thanks for your help!
Sorry for the lack of feedback on your PR, I'll remind the Tools
maintainer; looks like he might have missed the notification.
On Tue, 23 Oct 2018 at 21:57, Graham Collinson
Apologies for the empty email last time
I've submitted a pull request for this issue.
Is there anything more I need to do or could help with to close this one
hibernate-dev mailing list