minor cleanups in proxy and property packages#10862
Merged
gavinking merged 3 commits intohibernate:mainfrom Sep 3, 2025
Merged
minor cleanups in proxy and property packages#10862gavinking merged 3 commits intohibernate:mainfrom
gavinking merged 3 commits intohibernate:mainfrom