Github user NicoK commented on the issue:

    https://github.com/apache/flink/pull/5250
  
    merged in 91c72b9dc611e73790147256adf859c177afe862


---

Reply via email to