Thread: Duplicate words in comments

Duplicate words in comments

From
Daniel Gustafsson
Date:
When applying the recent "the the" comment fixup to downstream docs I happened
to notice other cases of duplicated words in comments.  The attached trivial
diff removes the few that I came across (the last one was perhaps correct but
if so seemed strange to a non-native speaker).

cheers ./daniel


Attachment

Re: Duplicate words in comments

From
Vik Fearing
Date:
On 17/02/2020 15:36, Daniel Gustafsson wrote:
> When applying the recent "the the" comment fixup to downstream docs I happened
> to notice other cases of duplicated words in comments.  The attached trivial
> diff removes the few that I came across (the last one was perhaps correct but
> if so seemed strange to a non-native speaker).

These changes look good to me.
-- 
Vik Fearing



Re: Duplicate words in comments

From
Michael Paquier
Date:
On Mon, Feb 17, 2020 at 10:57:33PM +0100, Vik Fearing wrote:
> These changes look good to me.

Applied.  The indentation in nodeAgg.c had a nit.
--
Michael

Attachment