Your message dated Tue, 12 Nov 2024 21:11:26 +0900 with message-id <87wmh83b4h.fsf@gmail.com> and subject line Re: [bug#72173] [PATCH v2 0/2] gnu: chicken: Update to 5.4.0. has caused the debbugs.gnu.org bug report #72173, regarding [PATCH] gnu: chicken: Update to 5.4.0. to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 72173: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=72173 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems