GitHub user GJL opened a pull request: https://github.com/apache/flink/pull/5168
[FLINK-8234][flip6] WIP WIP @tillrohrmann You can merge this pull request into a Git repository by running: $ git pull https://github.com/GJL/flink FLINK-8234 Alternatively you can review and apply these changes as the patch at: https://github.com/apache/flink/pull/5168.patch To close this pull request, make a commit to your master/trunk branch with (at least) the following in the commit message: This closes #5168 ---- commit cc969846791bf818fbc81feb241a188410431ae5 Author: gyao <g...@data-artisans.com> Date: 2017-12-14T16:27:16Z [FLINK-8234][flip6] WIP ---- ---