]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 597b3fd 0927d62)
auto merge of #8373 : alexcrichton/rust/disable-rusti, r=cmr
authorbors <bors@rust-lang.org>
Wed, 7 Aug 2013 15:53:20 +0000 (08:53 -0700)
committerbors <bors@rust-lang.org>
Wed, 7 Aug 2013 15:53:20 +0000 (08:53 -0700)
These are causing problems on the linux bots, I'll investigate soon.


Trivial merge
Empowering everyone to build reliable and efficient software.