Subject: bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project

From: Eli Zaretskii <[email-masked]>
Date: Tue, 23 Mar 2021 14:43:40 +0200

> From: Theodor Thornhill <[email-masked]>
> Cc: [email-masked], [email-masked]
> 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.