## Rob Sargent (robjsarg...@gmail.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.
