[GitHub] [flink] tillrohrmann commented on pull request #13317: [BP-1.10][FLINK-18959][Runtime] Try to revert MiniDispatcher for archiveExecutionGraph and shutdown cluster upon cancel

[GitBox]

tillrohrmann commented on pull request #13317:
URL: https://github.com/apache/flink/pull/13317#issuecomment-686973783


   Manually merged via 40f81b7794bde837aee8acac8944929ec43b6ef6


----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

For queries about this service, please contact Infrastructure at:
us...@infra.apache.org