Github user tzulitai commented on the issue:

    https://github.com/apache/flink/pull/5280
  
    Thanks, merging this.
    
    Do note that you should include the `[hotfix]` and `[doc]` tags to the 
commit message. All our commit requires proper tags to indicate the issue id 
(or `hotfix` for typos), and ideally also the fixed component.
    
    I'll do it for you while merging this time ;)


---

Reply via email to