[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] timer-list -> list-timers?

From: Eli Zaretskii
Subject: Re: [PATCH] timer-list -> list-timers?
Date: Sat, 16 Sep 2017 20:02:03 +0300

> Date: Sat, 16 Sep 2017 19:59:22 +0300
> From: Eli Zaretskii <address@hidden>
> Cc: address@hidden
> I'm okay with renaming it, but if we do so, we should also patch NEWS,
> which announces this command.

It is also mentioned in Antinews.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]