Thread
Commits
-
Add pg_partition_tree to documentation index
- 44e22647f82b 12.0 landed
-
Add pg_partition_tree to doc index
Michael Paquier <michael@paquier.xyz> — 2018-11-29T07:27:19Z
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
-
Re: Add pg_partition_tree to doc index
Amit Langote <langote_amit_f8@lab.ntt.co.jp> — 2018-11-29T07:35:06Z
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
-
Re: Add pg_partition_tree to doc index
Michael Paquier <michael@paquier.xyz> — 2018-11-29T09:04:17Z
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