huor commented on issue #1411: update hawq stop options URL: https://github.com/apache/hawq/pull/1411#issuecomment-473609516 @daixiang0, I see. Just went through your commit in this PR, seems that I need to only merge 2c95dce2191107eeaac854e48bee025ffe052ece to master, while 3076c5fccd44585557e0b3fc245dce3066dec4c0 and fe23d9722ad0c4eda2f1707b8aee542d7461af95 have been addressed in master. If this is true, I will merge it right away.
---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: us...@infra.apache.org With regards, Apache Git Services