Github user eliaslevy commented on the issue:
https://github.com/apache/flink/pull/3334
Any chance this will be merged now that 1.5 is out?---
Github user eliaslevy commented on the issue:
https://github.com/apache/flink/pull/3334
Any chance this will be merged now that 1.5 is out?---