Subject: bug#55426: [PATCH] Add option to kill a shell buffer when the process ends

From: Eli Zaretskii <[email-masked]>
Date: Thu, 19 May 2022 09:53:01 +0300

> From: Philip Kaludercic <[email-masked]>
> Cc: [email-masked]
> Date: Wed, 18 May 2022 23:13:05 +0000
> 
> 
> So is the patch fine?  May I push it?

Sorry for the delay.  I've posted a response just now with a small
correction; feel free to install after fixing that nit.

Thanks.