On Thu, May 17, 2018 at 9:56 PM, Amit Langote <langote_amit...@lab.ntt.co.jp> wrote: > On 2018/05/18 5:56, David Rowley wrote: >> On 18 May 2018 at 06:21, Robert Haas <robertmh...@gmail.com> wrote: >>> All right, so let's just say that explicitly. Maybe something like >>> the attached. >> >> That looks fine to me. > > Me too, except: > > + * *pds list is the root partition, so 0 always means the first leaf. > When > > I prefer "root partitioned table" over "root partition", and git grep > suggests that that's actually what we use elsewhere in the source code.
I don't know that it's necessary to be that rigid about this, so I chose to commit without changing it. -- Robert Haas EnterpriseDB: http://www.enterprisedb.com The Enterprise PostgreSQL Company
