restore the page title after escaping out of a search#53405
Merged
bors merged 1 commit intorust-lang:masterfrom Aug 21, 2018
Merged
restore the page title after escaping out of a search#53405bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom