[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#18721: patch
From: |
Eli Zaretskii |
Subject: |
bug#18721: patch |
Date: |
Sun, 15 Jan 2017 21:22:20 +0200 |
> Date: Sun, 15 Jan 2017 17:33:30 +0200
> From: Eli Zaretskii <eliz@gnu.org>
> Cc: 18721@debbugs.gnu.org
>
> Thanks. This will need a NEWS entry. Also, I have a comment/concern:
Oh, and one more nit: .dir-locals.el is documented to apply to remote
files if enable-remote-dir-locals is non-nil. But, unless I
misunderstood your code, it exempts remote files unconditionally,
which contradicts the documentation.
Thanks.