Your message dated Wed, 16 Aug 2023 22:23:27 +0200 with message-id <87edk24tz4.fsf@gnu.org> and subject line Re: bug#64892: [PATCH] gnu: tor: Update to 0.4.7.14. has caused the debbugs.gnu.org bug report #64892, regarding [PATCH] gnu: tor: Update to 0.4.7.14. to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 64892: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=64892 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems