Github user skidder commented on the issue:
https://github.com/apache/flink/pull/4214
Sorry for not responding sooner! Thank you @StephanEwen and @tillrohrmann
for applying this fix!
---
Github user tillrohrmann commented on the issue:
https://github.com/apache/flink/pull/4214
I'll address my comment myself and then merge the PR. Thanks a lot for your
contribution @skidder.
---
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...
---
