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 ;)---
