From: Oliver Scherer <github35764891676564198441@oli-obk.de>
Date: Fri, 8 Feb 2019 08:47:39 +0000 (+0100)
Subject: Merge pull request #619 from RalfJung/stderr-flush
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=77d12bb4656e8c4ecb21acdeede3ebc23248fff4;p=rust.git

Merge pull request #619 from RalfJung/stderr-flush

flush stdout/stderr to make sure it appears on the screen
---

77d12bb4656e8c4ecb21acdeede3ebc23248fff4