[GitHub] flink pull request #4841: [FLINK-7368][metrics] Backport synchronization fix...

[pnowojski]

Github user pnowojski closed the pull request at:

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


---