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

[StephanEwen]

Github user StephanEwen commented on the issue:

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


---