[GitHub] incubator-hawq issue #1290: HAWQ-1529. Fix segment resource manager hang whe...

[jianlirong]

Github user jianlirong commented on the issue:

    https://github.com/apache/incubator-hawq/pull/1290
  
    LGTM, +1


---