[GitHub] flink issue #5839: [FLINK-9158][Distributed Coordination] Set default FixedR...

2018-04-17 Thread StephanEwen 
Github user StephanEwen commented on the issue:

https://github.com/apache/flink/pull/5839
  
Looks good, thanks!
Merging...


---

[GitHub] flink issue #5839: [FLINK-9158][Distributed Coordination] Set default FixedR...

2018-04-11 Thread sihuazhou 
Github user sihuazhou commented on the issue:

https://github.com/apache/flink/pull/5839
  
CC: @tillrohrmann 


---