On Sun, Jan 21, 2018 at 5:41 PM, Craig Ringer <cr...@2ndquadrant.com> wrote: > If we'd done server_version_num in 9.5, for example, less stuff would've > broken with pg10.
Yeah, and if Tom hadn't forced it to be reverted from *8.2*, then every version anyone still cares about would now have support for it. -- Robert Haas EnterpriseDB: http://www.enterprisedb.com The Enterprise PostgreSQL Company
