GNU bug report logs - #34221
[PATCH] Make project-files work with remote files

Previous Next

Full log

View this message in rfc822 format

From: Felicián Németh <felician.nemeth <at> gmail.com>
To: Dmitry Gutov <dgutov <at> yandex.ru>
Cc: 34221 <at> debbugs.gnu.org, Michael Albinus <michael.albinus <at> gmx.de>
Subject: bug#34221: [PATCH] Make project-files work with remote files
Date: Sat, 2 Feb 2019 09:36:48 +0100

[Message part 1 (text/plain, inline)]

Hello Dmitry,

Dmitry Gutov <dgutov <at> yandex.ru> wrote:
>
> Looks good to me, except project--file-remote-name could do with a
> rename. At least call it ...-remote-nameS, maybe?

I don't know if it is still necessary, but I updated the patch with
renaming the defun in question by appending an "s" to its name.

Thanks,
Felicián
(ps. I've singed the copyright papers.)

[0001-Make-project-files-work-with-remote-files.patch (text/x-patch, attachment)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.