On 15/10/2026 15:49, David Rowley wrote:
> On Fri, 16 Oct 2026 at 01:16, Chao Li <li(dot)evan(dot)chao(at)gmail(dot)com> 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