Github user tillrohrmann commented on the issue: https://github.com/apache/flink/pull/4939 Alright, then we'll do it as you've proposed. I'll merge this PR. Thanks for your work @NicoK and the review @zentol and @StephanEwen.
---
Github user tillrohrmann commented on the issue: https://github.com/apache/flink/pull/4939 Alright, then we'll do it as you've proposed. I'll merge this PR. Thanks for your work @NicoK and the review @zentol and @StephanEwen.
---