[GitHub] flink pull request #4307: [FLINK-7100] TaskManager metrics are registered tw...

[zjureel]

Github user zjureel closed the pull request at:

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


---