Subject: bug#34221: [PATCH] Make project-files work with remote files

From: Michael Albinus <[email-masked]>
Date: Thu, 07 Feb 2019 12:14:26 +0100

Dmitry Gutov <[email-masked]> writes:

Hi Dmitry,

>> And even if there are so many files, the other
>> operations on them will rule out this difference. So yes, I believe
>> this is negligible.
>
> Why not benchmark, then? I see a stable difference in project-files's
> runtime, on the order of 1-4%.
>
> It's not a lot, but why create conses when we don't have to.

No problem from my side, change it as you believe it is appropriate.

Best regards, Michael.