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
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