Skip to content

Fix tooltip position if the documentation starts with a code block#74635

Merged
bors merged 1 commit intorust-lang:masterfrom GuillaumeGomez:fix-tooltip-posJul 22, 2020

Commits