Peter Eisentraut <peter(at)eisentraut(dot)org> writes:
> I sense that nobody is going to have issues with this. Any objections
> to backpatching this? I suspect that over time many more people are
> going to run into this, so keeping the backbranches warning-free seems
> sensible.
Agreed, we usually like to keep the back branches warning-free too.
But I concur with Andreas that 0005 looks a bit half-baked.
Maybe that's the right amount of effort for the back branches,
but something else should happen in HEAD.
regards, tom lane