Re: should c-indentation-style be marked as safe?

[Richard Stallman]

    So what should we do here: mark c-indentation-style as safe or delete
    the local variable from etags.c ?

For now, I'd say delete it (or comment it out somehow).  For the
longer term, I think we should make it work to bind that variable, but
maybe we cannot do that now.