Github user tillrohrmann commented on the issue:
https://github.com/apache/flink/pull/5593
Thanks for the reminder @yanghua. I forgot about it and will merge it now.
Thanks again for your contributions. Flink wouldn't be what it is without you!---
