[GitHub] flink issue #5467: [FLINK-8475][config][docs] Integrate HA options

2018-02-14 Thread zentol 
Github user zentol commented on the issue:

https://github.com/apache/flink/pull/5467
  
merging


---

[GitHub] flink issue #5467: [FLINK-8475][config][docs] Integrate HA options

2018-02-13 Thread aljoscha 
Github user aljoscha commented on the issue:

https://github.com/apache/flink/pull/5467
  
Ok, then please go ahead.


---