[GitHub] caosuwenwu closed pull request #7472: hh

2019-01-12 Thread GitBox
caosuwenwu closed pull request #7472: hh URL: https://github.com/apache/flink/pull/7472 This is a PR merged from a forked repository. As GitHub hides the original diff on merge, it is displayed below for the sake of provenance: As this is a foreign pull request (from a fork), the diff is

[GitHub] caosuwenwu closed pull request #7472: hh

2019-01-12 Thread GitBox
caosuwenwu closed pull request #7472: hh URL: https://github.com/apache/flink/pull/7472 This is a PR merged from a forked repository. As GitHub hides the original diff on merge, it is displayed below for the sake of provenance: As this is a foreign pull request (from a fork), the diff is