[GitHub] flink pull request #5744: [FLINK-8931] TASK_KILLING is not covered by match ...
Github user asfgit closed the pull request at: https://github.com/apache/flink/pull/5744 ---
[GitHub] flink pull request #5744: [FLINK-8931] TASK_KILLING is not covered by match ...
GitHub user yanghua opened a pull request: https://github.com/apache/flink/pull/5744 [FLINK-8931] TASK_KILLING is not covered by match in TaskMonitor#whenUnhandled ## What is the purpose of the change *This pull request makes _TASK_KILLING_ covered by match in