Skip to content

Remove unneeded call to with_default_session_globals in rustdoc highlight#84953

Merged
bors merged 2 commits intorust-lang:masterfrom
GuillaumeGomez:remove-unneeded-with_default_session_globals
May 7, 2021

Commits