From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Fri, 28 Aug 2015 09:44:50 GMT
Subject: Re: [PATCH] Mingw: verify both ends of the pipe () call
Message-ID: <2d4fc3abf0e3d46fc1072f8f05dff0ce@www.dscho.org>
In-Reply-To: <d959c5ad8b7f57e76910ececce47b853@www.dscho.org>

Hi,

On 2015-08-28 11:39, Johannes Schindelin wrote:

> On 2015-08-28 08:37, Jose F. Morales wrote:
> 
>> Could I still amend the commit? (it seems to be already pushed into master)
> 
> It was pushed to Git for Windows' master, but here it was submitted to
> the Git mailing list.
> 
> Junio, would you terribly mind fixing the name on your end?
> Alternatively, I could try to update the Pull Request and give
> submitGit another chance to show just how awesome it is.

Never mind, it was way too easy to let submitGit show how excellent it is.

Ciao,
Dscho