Andrew Dunstan <andrew@dunslane.net> writes:
> I have committed this. It's in the commitfest as a bug fix, but I don't
> think it's strictly a bug. OTOH, it's pretty harmless. Do we want to
> backpatch it?
Given the lack of field complaints, I'd say it's not worth the trouble.
regards, tom lane