On Wed, 8 Mar 2023 at 09:22, Peter Eisentraut
<peter.eisentr...@enterprisedb.com> wrote:
> Ok, I have fixed the original documentation to that effect and
> backpatched it.

Thanks for fixing that.

David


Reply via email to