Skip to content

Improve display of clippy lints page when JS is disabled#13585

Merged
bors merged 3 commits intorust-lang:masterfrom GuillaumeGomez:no-jsNov 2, 2024