Github user aljoscha commented on the issue: https://github.com/apache/flink/pull/6348 I quickly talked to @StephanEwen directly and he agreed the fix is good so I'm merging.
---
Github user aljoscha commented on the issue: https://github.com/apache/flink/pull/6348 I quickly talked to @StephanEwen directly and he agreed the fix is good so I'm merging.
---