Github user zentol commented on the issue:
https://github.com/apache/flink/pull/4728
But that's not the case for the flip-6 code, is it? There the JobMaster
creates a separate ArchivedExecutionGraph that is not automatically updated.---
