Github user tillrohrmann commented on a diff in the pull request:
https://github.com/apache/flink/pull/5184#discussion_r160106268
--- Diff:
flink-runtime/src/main/java/org/apache/flink/runtime/jobmaster/JobMaster.java
---
@@ -936,17 +936,19 @@ private void jobStatusChanged(
final JobID jobID = executionGraph.getJobID();
--- End diff --
No longer the case with your changes.---
