On Wed, 8 Mar 2023 at 09:22, Peter Eisentraut<peter(dot)eisentraut(at)enterprisedb(dot)com> wrote:> Ok, I have fixed the original documentation to that effect and> backpatched it.
Thanks for fixing that.
David