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!---