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

From: Theodor Thornhill <[email-masked]>
Date: Thu, 25 Mar 2021 08:29:04 +0100

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 :-)

--
Theo