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

[zentol]

Github user zentol commented on the issue:

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


---