[GitHub] [flink] flinkbot edited a comment on pull request #12429: [FLINK-17340][docs] Update docs which related to default planner changing

2020-06-01 Thread GitBox
flinkbot edited a comment on pull request #12429: URL: https://github.com/apache/flink/pull/12429#issuecomment-637225112 ## CI report: * a89e768be2ee7a6952f74a96a2e9551dad785e9c Azure:

[GitHub] [flink] flinkbot edited a comment on pull request #12429: [FLINK-17340][docs] Update docs which related to default planner changing

2020-06-01 Thread GitBox
flinkbot edited a comment on pull request #12429: URL: https://github.com/apache/flink/pull/12429#issuecomment-637225112 ## CI report: * a89e768be2ee7a6952f74a96a2e9551dad785e9c Azure:

[GitHub] [flink] flinkbot edited a comment on pull request #12429: [FLINK-17340][docs] Update docs which related to default planner changing

2020-06-01 Thread GitBox
flinkbot edited a comment on pull request #12429: URL: https://github.com/apache/flink/pull/12429#issuecomment-637225112 ## CI report: * a89e768be2ee7a6952f74a96a2e9551dad785e9c Azure:

[GitHub] [flink] flinkbot edited a comment on pull request #12429: [FLINK-17340][docs] Update docs which related to default planner changing

2020-06-01 Thread GitBox
flinkbot edited a comment on pull request #12429: URL: https://github.com/apache/flink/pull/12429#issuecomment-637225112 ## CI report: * a89e768be2ee7a6952f74a96a2e9551dad785e9c Azure: