[GitHub] flink issue #5852: [FLINK-9180] [conf] Remove REST_ prefix from rest options
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
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
Github user zhangminglei commented on the issue: https://github.com/apache/flink/pull/5852 Sorry. @zentol . I misunderstand. Will update. ---