gustafn
committed
on 22 Oct 18
make checking of pg_version number more robust (backporting changes from head).
See also issue #3359