Subject: Re: 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:51:44 +0300

> From: Philip Kaludercic <[email-masked]>
> Cc: [email-masked]
> Date: Sun, 15 May 2022 11:51:53 +0000
> 
> +*** New user option 'shell-kill-buffer-on-exit'

This should end with a period, to be a full sentence.

Otherwise, LGTM, thanks.