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.
---
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.
---