[GitHub] incubator-hawq pull request #1290: HAWQ-1529. Fix segment resource manager h...

[kuien]

Github user kuien closed the pull request at:

    https://github.com/apache/incubator-hawq/pull/1290


---