[GitHub] flink pull request #4888: [backport] [FLINK-7067] Resume checkpointing after...
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...
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