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. Thanks, Amit
