Tomas Vondra <tomas@vondra.me> writes:
> On 8/5/25 20:11, Tom Lane wrote:
>> Yes, I think it ought to be committed/backpatched separately.
>> I was expecting Tomas to do that, but I can if he's busy ...
> Sorry, I didn't realize that - it seemed you're handling this. I can
> take care of this in the next couple days, if still needed.
Oh, I'm happy to do it if you weren't intending to.
regards, tom lane