[GitHub] flink pull request #4888: [backport] [FLINK-7067] Resume checkpointing after...

2017-10-24 Thread uce
Github user uce closed the pull request at: https://github.com/apache/flink/pull/4888 ---

[GitHub] flink pull request #4888: [backport] [FLINK-7067] Resume checkpointing after...

2017-10-23 Thread uce
GitHub user uce opened a pull request: https://github.com/apache/flink/pull/4888 [backport] [FLINK-7067] Resume checkpointing after failed cancel-job-with-savepoint This is a backport of #4254. I will merge this as soon as Travis gives the green light. You can merge this pull req