Skip to content

Simplify settings theme choice#104366

Merged
bors merged 3 commits intorust-lang:masterfrom GuillaumeGomez:simplify-settings-theme-choiceNov 18, 2022