Github user aljoscha commented on the issue:

    https://github.com/apache/flink/pull/4967
  
    The changes look good! Thanks for fixing it this quickly. 😃 


---

Reply via email to