Skip to content

minor cleanups in o.h.tool.schema.internal#11256

Merged
gavinking merged 2 commits intohibernate:mainfrom
gavinking:ohtsi
Nov 16, 2025
Merged

minor cleanups in o.h.tool.schema.internal#11256
gavinking merged 2 commits intohibernate:mainfrom
gavinking:ohtsi

Commits

Commits on Nov 16, 2025