Re: [Bug-wget] [PATCH] Some simple documentation corrections

[Jeff]

On Mon, 2010-04-26 at 10:42 +0200, Hrvoje Niksic wrote:
> Thanks for the patch.  Just two minor comments:
> 
> > -when reading links from an HTML file specified via the
> > +when reading links from an @sc{html} file specified via the
> 
> I think regular caps on "HTML" are intentional.  Small caps look nice if
> you don't overuse them.  This is obviously a matter of taste, but I
> wanted to point it out.
> 
> >  waiting interval specified by this function is influenced by
> > address@hidden, which see.
> > address@hidden
> 
> "Which see" is no typo, it suggests to the user to also look at the
> documentation of "--random-wait" command-line option.

Sorry, just checking, does this mean that I resubmit the patch with the
two errors fixed, or has the patch been fixed and applied already?

Cheers,
Jeff.