Github user uce commented on the issue:

    https://github.com/apache/flink/pull/5263
  
    Looks good to me. Good catch! +1 to merge 👍  


---

Reply via email to