Github user fmthoma commented on the issue: https://github.com/apache/flink/pull/6021 Merged manually by squashing: 7d034d4
---
Github user fmthoma commented on the issue: https://github.com/apache/flink/pull/6021 Merged manually by squashing: 7d034d4
---