From: Johannes Schindelin Date: Thu, 13 Dec 2018 11:15:57 GMT Subject: Re: [PATCH v2] run-command: report exec failure Message-ID: In-Reply-To: Hi Junio, On Thu, 13 Dec 2018, Junio C Hamano wrote: > I am taking that https://travis-ci.org/git/git/jobs/466908193 > that succeeded on Windows as a sign that this is now OK there. I concur, Dscho