[GitHub] flink issue #3116: [docs] [metrics] Update metrics documentation

2017-01-24 Thread uce
Github user uce commented on the issue: https://github.com/apache/flink/pull/3116 Merging... --- If your project is set up for it, you can reply to this email and have your reply appear on GitHub as well. If your project does not have this feature enabled and wishes so, or if the feat

[GitHub] flink issue #3116: [docs] [metrics] Update metrics documentation

2017-01-23 Thread StephanEwen
Github user StephanEwen commented on the issue: https://github.com/apache/flink/pull/3116 I think this is a good improvement over how it was before. +1 to merge for master and 1.2 --- If your project is set up for it, you can reply to this email and have your reply appear on GitHu