Github user aljoscha commented on the issue:

    https://github.com/apache/flink/pull/5847
  
    Sorry for the delay @sihuazhou I have a few minor touchups that I'll apply 
while merging. 👍 
    
    And thanks for discovering this and fixing it. 😄 


---

Reply via email to