DRAFT: Merge tools into orm#11123

koentsje wants to merge 1 commit intohibernate:mainhibernate/hibernate-orm:mainfrom

koentsje:merge-tools-into-ormkoentsje/hibernate-orm:merge-tools-into-ormCopy head branch name to clipboard