Обсуждение: Small patch to remove some duplicate words in comments

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

On Sun, Aug 26, 2018 at 11:42 PM David Rowley
<david.rowley@2ndquadrant.com> wrote:
> I noticed one while looking at partprune.c and found the others with grep.

Pushed.


--
Thomas Munro
http://www.enterprisedb.com

On 27 August 2018 at 09:38, Thomas Munro <thomas.munro@enterprisedb.com> wrote:
> On Sun, Aug 26, 2018 at 11:42 PM David Rowley
> <david.rowley@2ndquadrant.com> 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 Support, Training & Services