Github user StefanRRichter commented on the issue:
https://github.com/apache/flink/pull/5582
Thanks for the contribution! We are currently busy with the 1.5 release. I
will have a closer look at this PR and your other pending JIRAs after the
release is out.---
