Github user fhueske commented on the issue:
https://github.com/apache/flink/pull/3748
Thanks for the update @PangZhi.
Btw. it is recommended to post a short comment when you update a PR.
Pushing an update does not trigger a notification.
The PR looks good. Will merge this.---
