TestOther: use check options and cleaned up Settings objects#7882
Merged
chrchr-github merged 2 commits intodanmar:mainfrom Oct 14, 2025
Merged
TestOther: use check options and cleaned up Settings objects#7882chrchr-github merged 2 commits intodanmar:mainfrom
Settings objects#7882chrchr-github merged 2 commits intodanmar:mainfrom