Skip to content

Fix navbar click while in a search#45812

Merged
bors merged 3 commits intorust-lang:masterfrom
GuillaumeGomez:links-and-search
Nov 11, 2017

Commits

Commits on Nov 6, 2017

Commits on Nov 10, 2017