Your message dated Fri, 16 Feb 2024 02:43:04 +0100 with message-id <87o7chb2vr.fsf@lassieur.org> and subject line Re: [bug#69137] [PATCH] gnu: 0ad-data: Don't export. has caused the debbugs.gnu.org bug report #69137, regarding [PATCH] gnu: 0ad-data: Don't export. to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 69137: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=69137 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems