From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Thu, 29 Jun 2017 20:12:14 GMT
Subject: Re: Bug: Cannot kill Nodejs process using ctrl + c
Message-ID: <alpine.DEB.2.21.1.1706292210230.84669@virtualbox>
In-Reply-To: <alpine.DEB.2.21.1.1706281527120.84669@virtualbox>

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