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

From: Dmitry Gutov <[email-masked]>
Date: Sat, 2 Feb 2019 03:10:49 +0300

On 01.02.2019 11:14, Michael Albinus wrote:
> It's according to the docs. remote-id is the result of a file-remote-p
> call, which says in its docstring

I see.

If you like to push the patch yourself, please go ahead.