Your message dated Fri, 27 Oct 2023 16:40:11 +0200 with message-id and subject line Re: [PATCH] gnu: Add popf. has caused the debbugs.gnu.org bug report #66629, regarding [PATCH] gnu: Add popf. to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 66629: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=66629 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems