Github user aljoscha commented on the issue:
https://github.com/apache/flink/pull/5161
I'd say we merge without operator names/operator id and leave that as a follow-up, issue.
To at least make it possible to get latency metrics. WDYT?
Btw, with this, can we now show the latency metrics in the Flink web dashboard?
---