|
From: | Eli Zaretskii |
Subject: | bug#55426: [PATCH] Add option to kill a shell buffer when the process ends |
Date: | Thu, 19 May 2022 09:53:01 +0300 |
> From: Philip Kaludercic <philipk@posteo.net> > Cc: 55426@debbugs.gnu.org > 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.
[Prev in Thread] | Current Thread | [Next in Thread] |