How did this message happen?
Subject: [PATCH 2/5] launch_editor: ignore SIGINT while the editor has control
To: Kalle Olavi Niemitalo <kon@xxxxxx>
Cc: Paul Fox <pgf@xxxxxxxxxxxxxxxxxxxx>, git@xxxxxxxxxxxxxxx
Date: Sun, 11 Nov 2012 11:55:11 -0500
Message-ID: <20121111165510.GB19850@xxxxxxxxxxxxxxxxxxxxx>
References: <20121111163100.GB13188@xxxxxxxxxxxxxxxxxxxxx>
The user's editor likely catches SIGINT (ctrl-C). but if
the user spawns a command from the editor and uses ctrl-C to
kill that command, the SIGINT will likely also kill git
itself (depending on the editor, this can leave the terminal
in an unusable state).
Signed-off-by: Paul Fox <pgf@xxxxxxxxxxxxxxxxxxxx>
Signed-off-by: Jeff King <peff@xxxxxxxx>
---
Judging from S-o-b, message-id and EHLO, I think this was sent by
Peff, but came without Sender: or anything.
Just being curious.
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html