Skip to content

Allow user aliases to override built-in aliases#6259

Merged
bors merged 1 commit intorust-lang:masterfrom ordovicia:user-alias-overrideNov 18, 2018

Commits

Commits on Nov 18, 2018