Github user StephanEwen commented on the issue:
https://github.com/apache/flink/pull/5973
Merged in `master` in 3afa5eb3c47158086ab29012a835f96682a85d34---
Github user StephanEwen commented on the issue:
https://github.com/apache/flink/pull/5973
Merged in `master` in 3afa5eb3c47158086ab29012a835f96682a85d34---