Github user tzulitai commented on the issue:

    https://github.com/apache/flink/pull/5214
  
    Good idea. I think we should also update the metrics doc to educate this 
addition.


---

Reply via email to