Github user StephanEwen commented on the issue:

    https://github.com/apache/flink/pull/5698
  
    I think this trivial change can be safely merged into 1.5


---

Reply via email to