On Thu, 12 Sept 2024 at 14:42, Tatsuo Ishii <ishii(at)postgresql(dot)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