[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#42160: Issue with Man-kill and background process.
|
From: |
Eli Zaretskii |
|
Subject: |
bug#42160: Issue with Man-kill and background process. |
|
Date: |
Sat, 25 Jul 2020 10:16:38 +0300 |
> Date: Sat, 18 Jul 2020 10:46:07 +0300
> From: Eli Zaretskii <eliz@gnu.org>
> Cc: 42160@debbugs.gnu.org
>
> Ping! Ping!
>
> Jimmy, could you please try this patch and see if it fixes your
> problems? If it does, I' d like to install it.
No comments, so I installed the changes, and I'm closing this bug
report.