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

From: Dmitry Gutov <[email-masked]>
Date: Tue, 21 Sep 2021 16:24:35 +0300

Hi Theodor,

On 25.03.2021 09:29, Theodor Thornhill wrote:
> Theodor Thornhill <[email-masked]> writes:
>>> If you know how to fix any of that, help welcome.
> 
> Looks like it was fixed for me - thanks, Dmitry and Glenn Morris :-)

Just a heads-up: I've pushed a commit renaming the command to 
'project-forget-project', for symmetry with 'project-remember-project' 
which has been with us longer.

No compatibility alias since it's never been in an Emacs release, and 
it's not a frequently used command, but let me know if it's really needed.