Github user tzulitai commented on the issue: https://github.com/apache/flink/pull/6177 @tweise I've manually merged this, but forgot to add the "This closes #xxxx" message. Could you close this PR manually? Thanks!
---
Github user tzulitai commented on the issue: https://github.com/apache/flink/pull/6177 @tweise I've manually merged this, but forgot to add the "This closes #xxxx" message. Could you close this PR manually? Thanks!
---