Skip to content

Fix display of warning block if it is first element of the top doc block#119283

Merged
bors merged 3 commits intorust-lang:masterfrom
GuillaumeGomez:warning-block-pos
Dec 25, 2023