]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #14775 : alexcrichton/rust/fix-master, r=brson
authorbors <bors@rust-lang.org>
Mon, 9 Jun 2014 21:07:12 +0000 (14:07 -0700)
committerbors <bors@rust-lang.org>
Mon, 9 Jun 2014 21:07:12 +0000 (14:07 -0700)
Apparently one of the linux bots doesn't have the USER variable defined, and
this fix will likely land more quickly than a fix to the bots.


Trivial merge