[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project
From: |
Eli Zaretskii |
Subject: |
bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project |
Date: |
Tue, 23 Mar 2021 14:43:40 +0200 |
> From: Theodor Thornhill <theo@thornhill.no>
> Cc: dgutov@yandex.ru, 47287@debbugs.gnu.org
> Date: Tue, 23 Mar 2021 13:30:37 +0100
>
> > Please be sure to say here that REPORT-MESSAGE is a format string
> > passed to 'message' as its first arg.
> >
>
> Done. Fixed in attached patch
Thanks.
> +*** New command 'project-remove-known-project'.
> +This command lets you interactively remove an entry from the list of projects
> +in 'project-list-file'
> +
One last nit from me: since you now include the changes to the manual,
this NEWS entry should be marked by "+++" before it, per the note at
the beginning of NEWS.
- bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project, (continued)
- bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project, Theodor Thornhill, 2021/03/21
- bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project, Dmitry Gutov, 2021/03/21
- bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project, Theodor Thornhill, 2021/03/21
- bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project, Theodor Thornhill, 2021/03/21
- bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project, Dmitry Gutov, 2021/03/21
- bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project, Theodor Thornhill, 2021/03/22
- bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project, Dmitry Gutov, 2021/03/22
- bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project, Theodor Thornhill, 2021/03/22
- bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project, Eli Zaretskii, 2021/03/23
- bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project, Theodor Thornhill, 2021/03/23
- bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project,
Eli Zaretskii <=
- bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project, Theodor Thornhill, 2021/03/23
- bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project, Dmitry Gutov, 2021/03/24
- bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project, Basil L. Contovounesios, 2021/03/24
- bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project, Dmitry Gutov, 2021/03/24
- bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project, Theodor Thornhill, 2021/03/25
- bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project, Theodor Thornhill, 2021/03/25