Github user fhueske commented on the issue: https://github.com/apache/flink/pull/5241 Please rebase the PR on the master once #5320 was merged. I'll have a look at the changes after the rebase. Thank you, Fabian
---
Github user fhueske commented on the issue: https://github.com/apache/flink/pull/5241 Please rebase the PR on the master once #5320 was merged. I'll have a look at the changes after the rebase. Thank you, Fabian
---