Github user NicoK commented on the issue:

    https://github.com/apache/flink/pull/4761
  
    alright - didn't even need to do anything here since git auto-merged them :)


---

Reply via email to