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.


---

Reply via email to