I wrote: > I think your patch is about the right thing to do, although I'm > inclined to check for K_VERS_1_14 which is closer to when the > fix was made.
Pushed. After thinking about how to rewrite the comment, I went
with the version test as you had it. K_VERS_1_14 isn't really
better, since it's still not an exact match to when the behavior
changed.
regards, tom lane
