## Rob Sargent (robjsargent(at)gmail(dot)com):
> > Ugh. (So this is coming from "configure --with-extra-version" stuff)
> Does that also diddle the value of "server_version_num"?
No, that's still integer-format (it's unchanged and you can cast it
straight into INTEGER).
Gruss,
Christoph
--
Spare Space.