[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. ---