Skip to content

Deprecate util/dev in favor of cargo alias#5109

Merged
bors merged 4 commits into
rust-lang:masterfrom
phansch:ciao_util_dev
Jan 31, 2020
Merged

Deprecate util/dev in favor of cargo alias#5109
bors merged 4 commits into
rust-lang:masterfrom
phansch:ciao_util_dev

Commits

Commits on Jan 30, 2020

Commits on Jan 31, 2020