GitHub user andywx opened a pull request:
https://github.com/apache/hawq/pull/1398
Merge pull request #1 from apache/master
Syncing from original
You can merge this pull request into a Git repository by running:
$ git pull https://github.com/andywx/hawq master
Alternatively you can review and apply these changes as the patch at:
https://github.com/apache/hawq/pull/1398.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 #1398
----
commit bb32e10afbaa1a8544e22f592d9bbd94613cd381
Author: Xin Wang <andywx@...>
Date: 2018-10-03T14:52:11Z
Merge pull request #1 from apache/master
Syncing from original
----
---
