Skip to content

Merge idents when generating source content#83992

Merged
bors merged 2 commits intorust-lang:masterfrom GuillaumeGomez:merge-identsApr 8, 2021