typo in couple of places

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).

Regards,
Vignesh

- ilmari

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.

On Fri, 6 Oct 2023 at 20:50, 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).

Thanks, Looks good.

Regards,
Vignesh

On Sat, Oct 7, 2023 at 8:28 AM vignesh C <vignesh21@gmail.com> wrote:

On Fri, 6 Oct 2023 at 20:50, 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).

Thanks, Looks good.

Pushed.

--
With Regards,
Amit Kapila.

On Mon, 9 Oct 2023 at 16:17, Amit Kapila <amit.kapila16@gmail.com> wrote:

On Sat, Oct 7, 2023 at 8:28 AM vignesh C <vignesh21@gmail.com> wrote:

On Fri, 6 Oct 2023 at 20:50, 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).

Thanks, Looks good.

Pushed.

Thanks for pushing this.