On Thu, 2007-03-05 at 15:32 +0100, Brian Gough wrote:> Here is a patch for some doubled words in the manual> (e.g. "the the").
Applied, thanks for the patch.
-Neil