On Fri, Oct 6, 2023 at 8:52 PM Dagfinn Ilmari Mannsåker <ilm...@ilmari.org> wrote: > > vignesh C <vignes...@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.