Skip to content

delete an unused exception type#10740

Merged
gavinking merged 1 commit intohibernate:mainfrom
gavinking:delete-unused-exception
Aug 11, 2025
Merged

delete an unused exception type#10740
gavinking merged 1 commit intohibernate:mainfrom
gavinking:delete-unused-exception

Commits

Commits on Aug 11, 2025