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

+33-31

Commits on May 5, 2021