Skip to content

Move mobile topbar title creation entirely into JS#115931

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:remove-empty-h2
Sep 19, 2023

Commits

Commits on Sep 18, 2023