Github user tzulitai commented on the issue:

    https://github.com/apache/flink/pull/5173
  
    Since there is no other objections, will merge this now ...


---

Reply via email to