[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
  
    Sure, I merged it there. Thanks for reminding me! 👍 


---