]> git.proxmox.com Git - cargo.git/commitdiff
Auto merge of #4736 - federicomenaquintero:clarify-patch-from-alternate-sources,...
authorbors <bors@rust-lang.org>
Wed, 29 Nov 2017 03:05:30 +0000 (03:05 +0000)
committerbors <bors@rust-lang.org>
Wed, 29 Nov 2017 03:05:30 +0000 (03:05 +0000)
Clarify that [patch] can also use sources that are not crates.io

This includes an example of how to use the `[patch.'https://blahblah']` syntax.  I couldn't figure out how to make this work until I saw a crate that actually did this.


Trivial merge