On Fri, Feb 6, 2015 at 04:52:54PM +1100, Craig Ringer wrote:
> We've had server_version_num since 8.2.
>
> Advise devs to prefer to use it instead of parsing version() or server_version
Patch applied.
--
Bruce Momjian <bruce@momjian.us> http://momjian.us
EnterpriseDB http://enterprisedb.com
+ Everyone has their own god. +