Package: guile;
Reported by: Andrew Psaltis <ampsaltis <at> gmail.com>
Date: Sun, 22 Jan 2012 20:33:01 UTC
Severity: normal
Done: Andy Wingo <wingo <at> pobox.com>
Bug is archived. No further changes may be made.
View this message in rfc822 format
From: help-debbugs <at> gnu.org (GNU bug Tracking System) To: Andy Wingo <wingo <at> pobox.com> Cc: tracker <at> debbugs.gnu.org Subject: bug#10581: closed (exit-hook is undocumented and is not called from a non-interactive environment) Date: Fri, 06 Jul 2012 12:17:05 +0000
[Message part 1 (text/plain, inline)]
[Message part 2 (message/rfc822, inline)]
From: Andrew Psaltis <ampsaltis <at> gmail.com> To: bug-guile <at> gnu.org Subject: exit-hook is undocumented and is not called from a non-interactive environment Date: Sun, 22 Jan 2012 14:58:51 -0500
[Message part 3 (message/rfc822, inline)]
From: Andy Wingo <wingo <at> pobox.com> To: 10581-done <at> debbugs.gnu.org Subject: Re: bug#10581: exit-hook is undocumented and is not called from a non-interactive environment Date: Fri, 06 Jul 2012 13:21:41 +0200
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.