[GitHub] flink issue #5962: [FLINK-9304] Timer service shutdown should not stop if in...

[StefanRRichter]

Github user StefanRRichter commented on the issue:

    https://github.com/apache/flink/pull/5962
  
    Thanks for the comments, I have updated the PR with another commit. Please 
take a look again if this can be merged.


---