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

From: Theodor Thornhill <[email-masked]>
Date: Tue, 21 Sep 2021 20:36:31 +0200

On September 21, 2021 3:24:35 PM GMT+02:00, Dmitry Gutov <[email-masked]> wrote:
>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.

No need from my end, but thanks a lot for the heads up :)

Theo