Skip to content

Remove useless doc_alias feature gate#80724

Merged
bors merged 1 commit into
rust-lang:masterfrom
GuillaumeGomez:remove-useless-doc_alias-feature
Jan 6, 2021
Merged

Remove useless doc_alias feature gate#80724
bors merged 1 commit into
rust-lang:masterfrom
GuillaumeGomez:remove-useless-doc_alias-feature

Remove useless doc_alias feature

bfdc858
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs