Move mobile topbar title creation entirely into JS#115931
Merged
bors merged 1 commit intorust-lang:masterfrom Sep 19, 2023
Merged
Move mobile topbar title creation entirely into JS#115931bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
