Prevent automatic page change when using history#75806
Merged
bors merged 2 commits intorust-lang:masterfrom Aug 27, 2020
Merged
Prevent automatic page change when using history#75806bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom