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?
---
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?
---