]> git.lizzy.rs Git - rust.git/commitdiff
Merge pull request #630 from RalfJung/rust-src
authorRalf Jung <post@ralfj.de>
Wed, 13 Feb 2019 12:17:40 +0000 (13:17 +0100)
committerGitHub <noreply@github.com>
Wed, 13 Feb 2019 12:17:40 +0000 (13:17 +0100)
skip installing rust-src if XARGO_RUST_SRC is set


Trivial merge