Skip to content

Hide help button on mobile#77979

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:hide-help-button
Oct 15, 2020

Commits

Commits on Oct 15, 2020