bug#13862: closed (Re: bug#13862: 24.3.50; File local-variables error: (error "Local variables entry is missing the prefix"))

[Jambunathan K]

help-debbugs@gnu.org (GNU bug Tracking System) writes:

>> Is there are any local variables in the patch?  There isn't any.  So why
>> should we inhibit something that is not there.
>
> Inhibit to prevent a false detection, exactly as in this case.
>
>> If `diff-mode' has no comment syntax defined, then by extension, it
>> cannot specify file local variables.
>
> Err, you can specify file local variables without a prefix. Eg
> etc/NEWS.

Seems to me that it is worth re-visiting the above decision.  Closing
the bug will only suppress further arguments surrounding this bug.