]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #15578 : alexcrichton/rust/fix-dist-again, r=pnkfelix
authorbors <bors@rust-lang.org>
Thu, 10 Jul 2014 15:34:02 +0000 (15:34 +0000)
committerbors <bors@rust-lang.org>
Thu, 10 Jul 2014 15:34:02 +0000 (15:34 +0000)
This is already checked by the install script, no need to check it twice.


Trivial merge