Re: clean up docs for v12

On 2019/05/21 13:39, Paul A Jungwirth wrote:
> On Mon, May 20, 2019 at 9:36 PM Amit Langote
> <Langote_Amit_f8@lab.ntt.co.jp> wrote:
>> Thanks for the patch.  To avoid it getting lost in the discussions of this
>> thread, it might be better to post the patch to a separate thread.
> 
> Okay, I'll make a new thread and a new CF entry. Thanks!

This sounds more like an open item to me [1], not something that have to
be postponed until the next CF.

Thanks,
Amit

[1] https://wiki.postgresql.org/wiki/PostgreSQL_12_Open_Items