rustdoc mobile: fix scroll offset when jumping to internal id#93067
Merged
bors merged 1 commit intorust-lang:masterfrom Jan 21, 2022
Merged
rustdoc mobile: fix scroll offset when jumping to internal id#93067bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom