]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #10558 : alexcrichton/rust/faster-stdout, r=pcwalton,pcwalton
authorbors <bors@rust-lang.org>
Tue, 19 Nov 2013 13:16:24 +0000 (05:16 -0800)
committerbors <bors@rust-lang.org>
Tue, 19 Nov 2013 13:16:24 +0000 (05:16 -0800)
There are issues with reading stdin when it is actually attached to a pipe, but
I have run into no problems in writing to stdout/stderr when they are attached
to pipes.


Trivial merge