Skip to content

Escape more items in the sidebar when needed - #46847

Merged
bors merged 1 commit into
rust-lang:masterfrom
GuillaumeGomez:more-sidebar-escape
Dec 22, 2017
Merged

Escape more items in the sidebar when needed#46847
bors merged 1 commit into
rust-lang:masterfrom
GuillaumeGomez:more-sidebar-escape

Commits

Commits on Dec 21, 2017