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