Ping. I thought this small DOCS patch had reached some consensus, but
then the thread went silent for more than 2 weeks.
So, I created a new CF entry [1] marked "ready for committer". Is
there anything else I need to do to help get this one over the line?
======
[1] https://commitfest.postgresql.org/patch/6414/
Kind Regards,
Peter Smith.
Fujitsu Australia