How did this message happen?
Subject: [PATCH 2/5] launch_editor: ignore SIGINT while the editor has
To: Kalle Olavi Niemitalo <k...@iki.fi>
Cc: Paul Fox <p...@foxharp.boston.ma.us>, firstname.lastname@example.org
Date: Sun, 11 Nov 2012 11:55:11 -0500
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 <p...@foxharp.boston.ma.us>
Signed-off-by: Jeff King <p...@peff.net>
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 majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html