[GitHub] flink pull request #4803: [FLINK-7813] [metrics] Replace MetricRegistryThrea...

[zentol]

Github user zentol closed the pull request at:

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


---