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

[tony810430]

Github user tony810430 commented on the issue:

    https://github.com/apache/flink/pull/4976
  
    Hi, @aljoscha 
    Could you please merge this PR to `release-1.3` branch as well? Thank you.


---