[GitHub] flink issue #6251: [FLINK-9693] Set Execution#taskRestore to null after depl...

[tillrohrmann]

Github user tillrohrmann commented on the issue:

    https://github.com/apache/flink/pull/6251
  
    Thanks for the review @StefanRRichter and @zentol. I will merge this PR 
once Travis gives green light. I will address your comments while merging this 
PR.


---