Re: Add pg_partition_tree to doc index

Hi Michael,

On 2018/11/29 16:27, Michael Paquier wrote:
> Hi all,
> 
> d5eec4ee has added pg_partition_tree, unfortunately it is not showing in
> the documentation index.  Please see attached to fix the mistake.

Oh, I wasn't aware of this index and that the tag <indexterm> is meant for
that.

> Any thoughts or objections?

It's an oversight.  Thanks for fixing it.

Thanks,
Amit