Skip to content

minor changes (mainly use of 'var')#10755

Merged
gavinking merged 2 commits intohibernate:mainfrom
gavinking:more-var-2
Aug 14, 2025
Merged

minor changes (mainly use of 'var')#10755
gavinking merged 2 commits intohibernate:mainfrom
gavinking:more-var-2

Commits

Commits on Aug 14, 2025