]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 2e1df8e a9dddba)
auto merge of #9785 : catamorphism/rust/remove-convenience-tool, r=pcwalton
authorbors <bors@rust-lang.org>
Fri, 11 Oct 2013 01:46:23 +0000 (18:46 -0700)
committerbors <bors@rust-lang.org>
Fri, 11 Oct 2013 01:46:23 +0000 (18:46 -0700)
commitafa42a02379637fb621ffb2f6618344aaabadfcb
tree723abb5839b0b3880ab1b0f7d8931309f4fea46btree | snapshot
parent2e1df8e35bb0185dc35f5e7976c0b46608c32404commit | diff
parenta9dddbacde8e204ee7485bc11b5c23a06d57430dcommit | diff
auto merge of #9785 : catamorphism/rust/remove-convenience-tool, r=pcwalton

r? @pcwalton Sadly, there's a lack of resources for maintaining the `rust` tool,
and we decided in the 2013-10-08 Rust team meeting that it's better
to remove it altogether than to leave it in a broken state.

This deletion is without prejudice. If a person or people appear who
would like to maintain the tool, we will probably be happy to
resurrect it!

Closes #9775
Empowering everyone to build reliable and efficient software.