Github user StephanEwen commented on the issue:

    https://github.com/apache/flink/pull/5951
  
    Good catch! Thank you for the PR.
    
    Will try to review this asap...


---

Reply via email to