[GitHub] flink issue #5343: [FLINK-8496][metrics] Create missing "Network" group

2018-01-31 Thread zentol
Github user zentol commented on the issue: https://github.com/apache/flink/pull/5343 merging. ---

[GitHub] flink issue #5343: [FLINK-8496][metrics] Create missing "Network" group

2018-01-31 Thread aljoscha
Github user aljoscha commented on the issue: https://github.com/apache/flink/pull/5343 From eyeballing this change it seems correct. I'm assuming you did that manual check so I'd say this is good to go. ---