]> git.lizzy.rs Git - rust.git/commit
auto merge of #6783 : hoelzro/rust/master, r=bstrie
authorbors <bors@rust-lang.org>
Tue, 28 May 2013 14:16:59 +0000 (07:16 -0700)
committerbors <bors@rust-lang.org>
Tue, 28 May 2013 14:16:59 +0000 (07:16 -0700)
commit05735a934a807333f9cbeadd9ef4dc431240bec2
treee6cc61ebe52a3fae4bf01c558f9c970ed2b5f94a
parentc33258bee10590b2f388090d294e1720b2ebfb64
parent2505416408910d3ea5919774ae12fe3a32acac9d
auto merge of #6783 : hoelzro/rust/master, r=bstrie

I think settings like this should be left up to the user.