Hi, On Wed, 28 Jun 2017, Johannes Schindelin wrote:
> On Mon, 26 Jun 2017, Gyandeep Singh wrote:
>
> [... a bug report ...]
This bug report was reposted as
https://github.com/git-for-windows/git/issues/1219
In my opinion, it is too Windows-specific for the discussion to continue
anywhere but in that ticket.
Ciao,
Johannes
