Merge branch 'js/vreportf-wo-buffering'
authorJunio C Hamano <redacted>
Sun, 1 Dec 2019 17:04:31 +0000 (09:04 -0800)
committerJunio C Hamano <redacted>
Sun, 1 Dec 2019 17:04:31 +0000 (09:04 -0800)
Messages from die() etc. can be mixed up from multiple processes
without even line buffering on Windows, which has been worked
around.

* js/vreportf-wo-buffering:
  vreportf(): avoid relying on stdio buffering


Trivial merge
git clone https://git.99rst.org/PROJECT