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 ...
regards, tom lane
