[doc] Fix the source code highlighting on source comments#66430
Merged
bors merged 2 commits intorust-lang:masterfrom Nov 19, 2019
Merged
[doc] Fix the source code highlighting on source comments#66430bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom