Heikki Linnakangas <heikki.linnakangas@enterprisedb.com> writes:
> Looking at the code, that looks like an oversight and the fix is trivial:
Yeah, I think you are right.
> But given that it has been like that at least back to 8.0 which is the
> oldest version I have installed right now: does anyone see a reason not
> to fix that?
+1 for backpatching as far as you conveniently can.
regards, tom lane