Skip to content

Switch settings menu to full js#93097

Merged
bors merged 4 commits intorust-lang:masterfrom GuillaumeGomez:settings-jsMay 3, 2022

Commits

Commits on Apr 30, 2022

Commits on May 1, 2022