Your message dated Tue, 04 Mar 2025 08:21:09 +0100 with message-id <8734ft6z2y.fsf@nicolasgoaziou.fr> and subject line Re: [PATCH] gnu: binsec: Update to 0.8.2. has caused the debbugs.gnu.org bug report #69727, regarding [PATCH] gnu: binsec: Update to 0.8.2. to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 69727: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=69727 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems