Github user NicoK commented on the issue:

    https://github.com/apache/flink/pull/4533
  
    merged in 1752fdb339df4e4d0a5063b24c460abdc0a44264
    @zhijiangW can you close this PR?


---

Reply via email to