Skip to content

Rewriter of old to new settings format. - #3590

Draft
wadoon wants to merge 5 commits into
mainfrom
weigl/settingsrewriter
Draft

Rewriter of old to new settings format.#3590
wadoon wants to merge 5 commits into
mainfrom
weigl/settingsrewriter

updating

16d5158
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
checkerFramework
succeeded Aug 13, 2026 in 2m 16s