Your message dated Tue, 28 Feb 2017 16:23:45 +0100 with message-id <87h93el4ou.fsf@pobox.com> and subject line Re: bug#23500: Manual:4.3 Guile Scripting: Show to a layman that Guile can invoke shell commands, which are common in bash scripts. has caused the debbugs.gnu.org bug report #23500, regarding Manual:4.3 Guile Scripting: Show to a layman that Guile can invoke shell commands, which are common in bash scripts. to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 23500: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=23500 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems