Your message dated Thu, 18 Apr 2024 17:59:35 +0800 with message-id <87il0f9ek8.fsf@envs.net> and subject line Re: [bug#70447] [PATCH] gnu: putty: Update to 0.81. has caused the debbugs.gnu.org bug report #70447, regarding [PATCH] gnu: putty: Update to 0.81. to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 70447: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=70447 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems