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

[Stefan Monnier]

>>> 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.

I think we should start by turning the error into a warning.


        Stefan