Skip to content

Use record types In scanner package / avoid URL.equals()#10572

Merged
gavinking merged 2 commits intohibernate:mainfrom
gavinking:use-record-types
Jul 17, 2025
Merged

Use record types In scanner package / avoid URL.equals()#10572
gavinking merged 2 commits intohibernate:mainfrom
gavinking:use-record-types

Commits

Commits on Jul 17, 2025