On Sun, Jan 21, 2018 at 5:41 PM, Craig Ringer <craig@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.