Github user radarwave commented on the issue:
https://github.com/apache/hawq/pull/1396
Sure, merged. Please close this PR.---
Github user radarwave commented on the issue:
https://github.com/apache/hawq/pull/1396
Sure, merged. Please close this PR.---