[GitHub] flink issue #5049: [FLINK-8081][metrics] Annotate 'MetricRegistry#getReporte...

[zentol]

Github user zentol commented on the issue:

    https://github.com/apache/flink/pull/5049
  
    merging.


---