Your message dated Thu, 24 Nov 2022 14:09:11 +0800 with message-id <87wn7klw8o.fsf@envs.net> and subject line Re: bug#59499: [PATCH] gnu: clasp: Update to 3.3.9. has caused the debbugs.gnu.org bug report #59499, regarding [PATCH] gnu: clasp: Update to 3.3.9. to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 59499: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=59499 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems