Subject: Re: bug#41868: [PATCH] Add project-clean-up command

From: Dmitry Gutov <[email-masked]>
Date: Fri, 19 Jun 2020 02:10:05 +0300

On 19.06.2020 02:02, Juri Linkov wrote:
> I can't find it.  Philip, could you please resend your patch
> with project-kill-buffers-ignore.

Neither could I. I only saw your suggestion.

If you really don't like the name I used, how about 
'project-kill-buffers-ignores'?