On 8/5/25 20:11, Tom Lane wrote:
> Peter Eisentraut <peter@eisentraut.org> writes:
>> Do we want to make a separate commit for this issue that can be
>> backpatched and have some user-facing information attached to it?
>
> 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.
regards
--
Tomas Vondra
