I noticed that gdb_indent.sh complained at me because I'm using GNU
indent 2.2.7 instead of 2.2.6. I ignored the warning, but of course
that's something I don't like to do. Does anybody have any reason to
believe that GNU indent 2.2.7 or 2.2.8 isn't a reasonable version as
well? If not, I'll look through the ChangeLogs/NEWS/whatever the
appropriate file is for GNU indent for those versions and, assuming
they don't do anything strange, modify gdb_indent.sh to treat them as
"reasonable".
The check is to ensure that everyone uses the same version of indent.
That way ``obvious'' re-indentation doesn't cause unnecessary entropy.