[GitHub] flink issue #5852: [FLINK-9180] [conf] Remove REST_ prefix from rest options

2018-04-18 Thread zentol 
Github user zentol commented on the issue:

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


---

[GitHub] flink issue #5852: [FLINK-9180] [conf] Remove REST_ prefix from rest options

2018-04-16 Thread zhangminglei 
Github user zhangminglei commented on the issue:

https://github.com/apache/flink/pull/5852
  
Let us wait the CI ending.


---

[GitHub] flink issue #5852: [FLINK-9180] [conf] Remove REST_ prefix from rest options

2018-04-16 Thread zhangminglei 
Github user zhangminglei commented on the issue:

https://github.com/apache/flink/pull/5852
  
Sorry. @zentol . I misunderstand. Will update.


---