Github user zentol commented on the issue:
https://github.com/apache/flink/pull/5785
ehh...whoops. Yes i closed it by accident, thanks for catching it. I'll
merge the commit in a second...
---
Github user Matrix42 commented on the issue:
https://github.com/apache/flink/pull/5785
@zentol Is this closed by accident?
---
Github user zentol commented on the issue:
https://github.com/apache/flink/pull/5785
merging
---
Github user alpinegizmo commented on the issue:
https://github.com/apache/flink/pull/5785
+1
---
