]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #10180 : alexcrichton/rust/flush-default, r=brson
authorbors <bors@rust-lang.org>
Thu, 31 Oct 2013 09:16:40 +0000 (02:16 -0700)
committerbors <bors@rust-lang.org>
Thu, 31 Oct 2013 09:16:40 +0000 (02:16 -0700)
Closes #9126


Trivial merge