Jim Meyering Mon, 30 Jul 2012 05:06:39 -0700
Akim Demaille wrote: > * build-aux/gnu-web-doc-update: The information "top level" was written > twice.
ACK