On Wed, 8 Mar 2023 at 09:22, Peter Eisentraut
<[email protected]> wrote:
> Ok, I have fixed the original documentation to that effect and
> backpatched it.

Thanks for fixing that.

David


Reply via email to