|
From: | Jose E. Marchesi |
Subject: | [bug-gv] [bug #15066] Patch to ignore parent sigint |
Date: | Wed, 17 May 2006 18:47:18 +0000 |
User-agent: | Mozilla/5.0 (X11; U; Linux ppc; en-US; rv:1.7.8) Gecko/20051003 Debian/1.7.8-1sarge3 |
Update of bug #15066 (project gv): Status: In Progress => Fixed Open/Closed: Open => Closed _______________________________________________________ Follow-up Comment #1: Patch reviewed and applied. I close this bug report. _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?func=detailitem&item_id=15066> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |