Github user radarwave commented on the issue: https://github.com/apache/incubator-hawq/pull/1313 Already merged, please close this PR. Thanks.
---
Github user radarwave commented on the issue: https://github.com/apache/incubator-hawq/pull/1313 Already merged, please close this PR. Thanks.
---