Github user NicoK commented on the issue:

    https://github.com/apache/flink/pull/5105
  
    merged in c6945c2ef48d4c2cad3fc935435c1ab83e834969
    @pnowojski can you close this PR?


---

Reply via email to