Subject: Re: bug#34221: [PATCH] Make project-files work with remote files
From: Michael Albinus <[email-masked]>
To: Felicián Németh <[email-masked]>
Cc: [email-masked], Dmitry Gutov <[email-masked]>
Date: Sat, 02 Feb 2019 13:26:51 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Felicián Németh <[email-masked]> writes:

> Hi Michael,

Hi Felicián,

> Originally, I wanted to avoid this approach, because mapcar iterates
> over the result even if remote-id is nil, but I guess the overhead is
> negligible. I've attached the simplified patch.

Thanks, I've pushed it to the master branch. Closing the bug.

> Thanks,
> Felicián

Best regards, Michael.