Github user chermenin commented on the issue:

    https://github.com/apache/flink/pull/3026
  
    @aljoscha I think I'll close this PR. Any way the code will be here, if 
it's needed.


---

Reply via email to