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
