On 8/5/25 20:11, Tom Lane wrote: > Peter Eisentraut <pe...@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
