Re: [PATCH 06/19] mingw: try to delete target directory before renaming
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Jan 25, 2016, 06:59 UTC
- Message-ID
- <alpine.DEB.2.20.1601250753470.2964@virtualbox>
- In-Reply-To
- <4C2ED807DD184A168C87221809034B70@PhilipOakley>
Hi Philip,
On Sun, 24 Jan 2016, Philip Oakley wrote:
Show 5 quoted lines
> From: "Johannes Schindelin" <johannes.schindelin@gmx.de> > >From: 마누엘 <nalla@users.noreply.github.com> > > Is this Nalla's preferred email, or just a carry over from cautions of the > Github interface?
Neither. It is from the author field as recorded in the commit that I merged originally: https://github.com/dscho/git/pull/8
Ciao, Dscho