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