Link sidebar "location" heading to top of page#92795

Merged

bors merged 1 commit intorust-lang:masterfrom

jsha:link-to-top

Jan 17, 2022

Commits on Jan 14, 2022

Link sidebar "location" heading to top of page
jsha
committed