Subject: Re: bug#16023: 24.3; [PATCH] process-live-p tweak
From: Leo Liu <[email-masked]>
To: Lars Magne Ingebrigtsen <[email-masked]>
Cc: [email-masked]
Date: Mon, 02 Dec 2013 15:47:06 +0800
List-Id: <debbugs-submit.debbugs.gnu.org>

Fixed in 24.4

On 2013-12-02 14:50 +0800, Lars Magne Ingebrigtsen wrote:
[snipped 7 lines]
> Seems like a good idea to me.

done.

Leo