Github user benchristel commented on the issue:
https://github.com/apache/incubator-hawq/pull/1395
Since this has already been merged, can someone with commit access close
this PR please? @lavjain?---
Github user benchristel commented on the issue:
https://github.com/apache/incubator-hawq/pull/1395
Since this has already been merged, can someone with commit access close
this PR please? @lavjain?---