> From: Eric Hanchrow <eric.hanchrow@gmail.com> > Date: Tue, 06 Dec 2016 01:57:16 +0000 > Cc: 25108@debbugs.gnu.org > > Yes, it does. Can you show the file-local variables section in that file?