Github user zentol commented on the issue:

    https://github.com/apache/flink/pull/5155
  
    @aljoscha I've implemented your suggestion, in hindsight that's a rather 
obvious solution isn't it. Also rebased the branch.


---

Reply via email to