Magnus Hagander <magnus(at)hagander(dot)net> writes:
> I suggest backpatching this.
+1. Also, is the reference to "version 7.1", just above, still current?
Do we even want to try to track what the current version is?
I'd be inclined to delete that parenthetical remark.
regards, tom lane