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

[Dmitry Gutov]

Hi Theodor,

On 25.03.2021 09:29, Theodor Thornhill wrote:
> Theodor Thornhill <theo@thornhill.no> 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.