[GitHub] flink issue #5071: [FLINK-7907][docs] The metrics documentation missing scal...

2017-12-04 Thread zentol
Github user zentol commented on the issue: https://github.com/apache/flink/pull/5071 merged, could you close the PR? Thanks! ---

[GitHub] flink issue #5071: [FLINK-7907][docs] The metrics documentation missing scal...

2017-12-04 Thread zentol
Github user zentol commented on the issue: https://github.com/apache/flink/pull/5071 merging. ---

[GitHub] flink issue #5071: [FLINK-7907][docs] The metrics documentation missing scal...

2017-11-29 Thread yew1eb
Github user yew1eb commented on the issue: https://github.com/apache/flink/pull/5071 @zentol , thanks for your review. I have updated the PR according to your comments. ---