Github user NicoK commented on the issue: https://github.com/apache/flink/pull/4698 ok, cool, then we can merge this PR as anticipated
---
Github user NicoK commented on the issue: https://github.com/apache/flink/pull/4698 ok, cool, then we can merge this PR as anticipated
---