bug#8251: c-default-style vs. .dir-locals

[Juanma Barranquero]

> Is this the same as
>
> http://debbugs.gnu.org/cgi/bugreport.cgi?bug=7570  ?

I'm not sure, but it is entirely possible. Both are about the default
style overriding the .dir-locals.el one.

Feel free to merge them.

Thanks,

    Juanma