Skip to content

Replace topbar dropdown menus working with JS by <details>#1939

Open
GuillaumeGomez wants to merge 2 commits intorust-lang:masterfrom
GuillaumeGomez:simplify-topbar-drowpdown-menus

Commits

Commits on Dec 7, 2022