Your message dated Fri, 20 May 2022 08:23:51 +0000
with message-id <87mtfc1ujs.fsf@posteo.net>
and subject line Re: bug#55426: [PATCH] Add option to kill a shell buffer when the process ends
has caused the debbugs.gnu.org bug report #55426,
regarding [PATCH] Add option to kill a shell buffer when the process ends
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
55426: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=55426
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems