Github user StephanEwen commented on the issue: https://github.com/apache/flink/pull/5179 These look like good changes. +1 to merge
---
Github user StephanEwen commented on the issue: https://github.com/apache/flink/pull/5179 These look like good changes. +1 to merge
---