Github user fhueske commented on the issue:

    https://github.com/apache/flink/pull/5940
  
    Hmmm, good point. The discussion would be lost.
    How about I put your changes on top of Haohui's changes before merging?


---

Reply via email to