Github user benchristel commented on the issue:
https://github.com/apache/incubator-hawq/pull/1379
Merged to master. Closing PR...---
Github user benchristel commented on the issue:
https://github.com/apache/incubator-hawq/pull/1379
Merged to master. Closing PR...---