On 15/10/2026 15:49, David Rowley wrote:
On Fri, 16 Oct 2026 at 01:16, Chao Li <[email protected]> wrote:I agree that using the usual API outweigh these minor considerations. I've updated the patch to use StringInfo in v2.v2 looks fine to me.
Committed, thanks. - Heikki
