Re: Duplicate words in comments

2020-02-17 Thread Michael Paquier
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 signature.asc Description: PGP signature

Re: Duplicate words in comments

2020-02-17 Thread Vik Fearing
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 seeme

Duplicate words in comments

2020-02-17 Thread Daniel Gustafsson
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

Re: Small patch to remove some duplicate words in comments

2018-08-26 Thread David Rowley
On 27 August 2018 at 09:38, Thomas Munro wrote: > On Sun, Aug 26, 2018 at 11:42 PM David Rowley > wrote: >> I noticed one while looking at partprune.c and found the others with grep. > > Pushed. Thanks -- David Rowley http://www.2ndQuadrant.com/ PostgreSQL Development, 24x7

Re: Small patch to remove some duplicate words in comments

2018-08-26 Thread Thomas Munro
On Sun, Aug 26, 2018 at 11:42 PM David Rowley wrote: > I noticed one while looking at partprune.c and found the others with grep. Pushed. -- Thomas Munro http://www.enterprisedb.com

Small patch to remove some duplicate words in comments

2018-08-26 Thread David Rowley
I noticed one while looking at partprune.c and found the others with grep. -- David Rowley http://www.2ndQuadrant.com/ PostgreSQL Development, 24x7 Support, Training & Services remove_duplicate_words_in_comments.patch Description: Binary data