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
