Skip to content

Default to light theme if JS is enabled but not working#123407

Merged
bors merged 5 commits intorust-lang:masterfrom GuillaumeGomez:js-failed-themeApr 5, 2024