On Sat, 18 Sep 2004, Diego Novillo wrote: > This is a patch for cvs.html. OK? Looks fine, thanks. (All patches require your approval, correct? Perhaps you could make this explicit?) Gerald