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

2017-12-05 Thread aljoscha 
Github user aljoscha commented on the issue:

https://github.com/apache/flink/pull/4976
  
Sure, I merged it there. Thanks for reminding me! 👍 


---

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

2017-12-04 Thread 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.


---

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

2017-11-09 Thread aljoscha 
Github user aljoscha commented on the issue:

https://github.com/apache/flink/pull/4976
  
Could you please close this if it doesn't auto-close?


---

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

2017-11-09 Thread aljoscha 
Github user aljoscha commented on the issue:

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

I'm merging.


---