Re: copyright notice on the 'INSTALL' file (proposed autoconf patch)

[Richard Stallman]

    PS to autoconf: I finally got remote CVS working from my home machine
    to the autoconf repository at subversions (or is it savannah?), which
    means I no longer need to bother other autoconf maintainers to install
    minor changes like this one.

That is good.