Skip to content

Add detail to multiple rename deps#6603

Merged
bors merged 1 commit intorust-lang:masterfrom
dwijnand:add-detail-to-multiple-rename-deps
Jan 29, 2019
Merged

Add detail to multiple rename deps#6603
bors merged 1 commit intorust-lang:masterfrom
dwijnand:add-detail-to-multiple-rename-deps

Commits

Commits on Jan 28, 2019