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

From: Glenn Morris <[email-masked]>
Date: Tue, 15 Mar 2011 02:26:22 -0400

Is this the same as

http://debbugs.gnu.org/cgi/bugreport.cgi?bug=7570  ?