On Thu, 12 Sept 2024 at 14:42, Tatsuo Ishii <is...@postgresql.org> wrote:
> Sorry, I should have asked you first if you are going to write the API
> change patch.

I pushed a patch to change the API.

David


Reply via email to