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 <br...@momjian.us> http://momjian.us EnterpriseDB http://enterprisedb.com + Everyone has their own god. + -- Sent via pgsql-docs mailing list (pgsql-docs@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-docs
