]> git.proxmox.com Git - cargo.git/commitdiff
auto merge of #719 : alexcrichton/cargo/update-docopt, r=alexcrichton
authorbors <bors@rust-lang.org>
Fri, 17 Oct 2014 22:09:50 +0000 (22:09 +0000)
committerbors <bors@rust-lang.org>
Fri, 17 Oct 2014 22:09:50 +0000 (22:09 +0000)

Trivial merge