Your message dated Sun, 12 Jan 2020 22:23:21 +0100 with message-id <87h810mks6.fsf@pobox.com> and subject line Re: bug#38263: Bug in srfi-11 has caused the debbugs.gnu.org bug report #38263, regarding Bug in srfi-11 (?) to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 38263: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=38263 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems