Re: typo in couple of places

On Fri, Oct 6, 2023 at 8:52 PM Dagfinn Ilmari Mannsåker
<ilmari@ilmari.org> wrote:
>
> vignesh C <vignesh21@gmail.com> writes:
>
> > Hi,
> >
> > I noticed a couple of typos in code. "the the" should have been "the",
> > attached patch has the changes for the same.
>
> This made me curious about other duplicate word occurrences, and after a
> few minutes of increasingly-elaborate regexing to exclude false
> postives, I found a few more (plus a bonus a _missing_ "the").  See the
> attached patch (which includes your originl one, for completeness).
>

LGTM.

--
With Regards,
Amit Kapila.