Re: partition -> partitioned
Alvaro Herrera <alvherre@2ndquadrant.com>
From: Alvaro Herrera <alvherre@2ndquadrant.com>
To: Michael Paquier <michael@paquier.xyz>
Cc: Amit Langote <Langote_Amit_f8@lab.ntt.co.jp>, pgsql-hackers@lists.postgresql.org
Date: 2018-06-20T03:59:00Z
Lists: pgsql-hackers
On 2018-Jun-20, Michael Paquier wrote: > On Tue, Jun 19, 2018 at 06:02:22PM +0900, Amit Langote wrote: > > Noticed that the relevant code changed, so I rebased the patch. Also, > > made a minor update to a nearby comment. > > That looks right to me as we speak about non-leaf partitions here. > Alvaro, as 499be013 is yours, would you fix this inconsistency or should > I? I could understand why things are confusing on HEAD, "partitioned" > and "partition" have opposite meanings. Hmm, will look. -- Álvaro Herrera https://www.2ndQuadrant.com/ PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services
Commits
-
Consistently use the term 'partitioned rel' in partprune comments
- 8f97af60d19a 11.0 landed
-
Support partition pruning at execution time
- 499be013de65 11.0 cited