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

[Eli Zaretskii]

> From: Theodor Thornhill <theo@thornhill.no>
> Cc: 47287@debbugs.gnu.org
> Date: Mon, 22 Mar 2021 08:48:47 +0100
> 
> +(defun project--remove-from-project-list (project-root report-message)
> +  "Remove directory PROJECT-ROOT of a missing project from the project list.
>  If the directory was in the list before the removal, save the
>  result in `project-list-file'.  Announce the project's removal
> -from the list."
> +from the list using REPORT-MESSAGE."

Please be sure to say here that REPORT-MESSAGE is a format string
passed to 'message' as its first arg.

Thanks.