Your message dated Mon, 28 Aug 2023 18:55:14 +0800 with message-id <873503phbh.fsf@envs.net> and subject line Re: [bug#65542] [PATCH] gnu: intel-xed: Update to 2023.08.21. has caused the debbugs.gnu.org bug report #65542, regarding [PATCH] gnu: intel-xed: Update to 2023.08.21. to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 65542: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=65542 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems