[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.
- [PATCH] timer-list -> list-timers?, Mark Oteiza, 2017/09/16
- Re: [PATCH] timer-list -> list-timers?, raman, 2017/09/16
- Re: [PATCH] timer-list -> list-timers?, Eli Zaretskii, 2017/09/16
- Re: [PATCH] timer-list -> list-timers?,
Eli Zaretskii <=
- Re: [PATCH] timer-list -> list-timers?, Lars Ingebrigtsen, 2017/09/16
- Re: [PATCH] timer-list -> list-timers?, Ted Zlatanov, 2017/09/20
- Re: [PATCH] timer-list -> list-timers?, Jorge A. Alfaro-Murillo, 2017/09/20
- Re: [PATCH] timer-list -> list-timers?, Tom Tromey, 2017/09/20
- Re: [PATCH] timer-list -> list-timers?, Eli Zaretskii, 2017/09/20
- Re: [PATCH] timer-list -> list-timers?, Jorge A. Alfaro-Murillo, 2017/09/20
- Re: [PATCH] timer-list -> list-timers?, Mark Oteiza, 2017/09/20