From: bors Date: Wed, 7 Aug 2013 15:53:20 +0000 (-0700) Subject: auto merge of #8373 : alexcrichton/rust/disable-rusti, r=cmr X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=29ffbbaaa850d3f8fe1b35e3a63defe9206a3eb7;p=rust.git auto merge of #8373 : alexcrichton/rust/disable-rusti, r=cmr These are causing problems on the linux bots, I'll investigate soon. --- 29ffbbaaa850d3f8fe1b35e3a63defe9206a3eb7