GitHub user d opened a pull request:
https://github.com/apache/madlib/pull/320
Fix false positive for Postgres 10+
We used to mistake 9.3.24 as a higher version than Postgres 10 and stop
matching it to the correct "port". This patch fixes that.
You can merge this pull request into a Git repository by running:
$ git pull https://github.com/d/madlib jz-detect-pg10
Alternatively you can review and apply these changes as the patch at:
https://github.com/apache/madlib/pull/320.patch
To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:
This closes #320
----
commit bfa929b14b757f1ffc0d6bdf1259f476292eb274
Author: Jesse Zhang <sbjesse@...>
Date: 2018-09-13T01:53:35Z
Fix false positive for Postgres 10+
We used to mistake 9.3.24 as a higher version than Postgres 10 and stop
matching it to the correct "port". This patch fixes that.
----
---