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