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


---

Reply via email to