Github user tillrohrmann commented on the issue:
https://github.com/apache/flink/pull/5375
Sorry for not getting back to you earlier @zhangminglei. I accidentally
addressed this issue with #6318. I think we can therefore close this PR.
Sorry for the bad PR management. This won't happen again.---
