This patch is a cheat: a "better" patch would preserve
unbuffering but fix the encoding problem. But we don't
unbuffer on Python 3 anyway, so I don't feel like this
is a big problem.
Signed-off-by: Edward Z. Yang <email@example.com>
I tried this, but you end up with a very confusing intertwining of stdout and stderr.
I need to look into this.
Was fixed in a different rev.