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 <[email protected]>
Date: 2017-12-14T16:27:16Z
[FLINK-8234][flip6] WIP
----
---
