Github user fhueske commented on the issue:

    https://github.com/apache/flink/pull/5140
  
    Thanks for the update and excellent work.
    PR is good to merge :-)


---

Reply via email to