Github user toggm commented on the issue:

    https://github.com/apache/flink/pull/5172
  
    What happended with this PR? Why was it closed?


---

Reply via email to