Github user StephanEwen commented on the issue:
https://github.com/apache/flink/pull/4214
@skidder Do you want to follow up on this one? Otherwise, another
contributor might take this over.
Betting this fix into 1.4 would be great...---
