Github user tzulitai commented on the issue:

    https://github.com/apache/flink/pull/5337
  
    @pluppens yes, I think that would be the proper solution here.


---

Reply via email to