projects / cargo.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 556f80f e881999)
Auto merge of #5486 - ehuss:deprecate-doc, r=matklad
authorbors <bors@rust-lang.org>
Sat, 5 May 2018 16:11:36 +0000 (16:11 +0000)
committerbors <bors@rust-lang.org>
Sat, 5 May 2018 16:11:36 +0000 (16:11 +0000)
Deprecate `doc` profile.

Fixes #5434


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.