]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Merge branch 'js/vreportf-wo-buffering'
authorJunio C Hamano <gitster@pobox.com>
Sun, 1 Dec 2019 17:04:31 +0000 (09:04 -0800)
committerJunio C Hamano <gitster@pobox.com>
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