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

From: Eli Zaretskii <[email-masked]>
Date: Tue, 23 Mar 2021 13:37:27 +0200

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