[GitHub] flink pull request #5071: [FLINK-7907][docs] The metrics documentation missi...

[yew1eb]

Github user yew1eb closed the pull request at:

    https://github.com/apache/flink/pull/5071


---