[GitHub] flink issue #4676: [FLINK-7625] Fix typo in metrics part of documents

[greghogan]

Github user greghogan commented on the issue:

    https://github.com/apache/flink/pull/4676
  
    Merging ...


---