Skip to content

Transform help popup into a pocket menu#98297

Merged
bors merged 3 commits into
rust-lang:masterfrom
GuillaumeGomez:help-pocket-menu
Jun 26, 2022
Merged

Transform help popup into a pocket menu#98297
bors merged 3 commits into
rust-lang:masterfrom
GuillaumeGomez:help-pocket-menu

Merge all popover hide functions into one

e4b2b41
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs