Skip to content

Remove useless doc_alias feature gate#80724

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

Commits

Commits on Jan 5, 2021