[GitHub] flink issue #4976: [FLINK-8017] Fix High availability cluster-id key in docu...

[aljoscha]

Github user aljoscha commented on the issue:

    https://github.com/apache/flink/pull/4976
  
    Thanks for spotting and fixing this! 👍 
    
    I'm merging.


---