Обсуждение: Add pg_partition_tree to doc index

Hi all,

d5eec4ee has added pg_partition_tree, unfortunately it is not showing in
the documentation index.  Please see attached to fix the mistake.

Any thoughts or objections?
--
Michael

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

On Thu, Nov 29, 2018 at 04:35:06PM +0900, Amit Langote wrote:
> On 2018/11/29 16:27, Michael Paquier wrote:
>> Any thoughts or objections?
>
> It's an oversight.  Thanks for fixing it.

Okay, done as long as I don't forget..
--
Michael