[GitHub] flink issue #5115: [FLINK-7692] [metrics] Support user-defined variables in ...

[tony810430]

Github user tony810430 commented on the issue:

    https://github.com/apache/flink/pull/5115
  
    This commit is better than mine. I will merge it in this PR. 


---