Github user StefanRRichter commented on the issue:
https://github.com/apache/flink/pull/6196
Had a few more comments, but they all are basically optimizations. I leave
it up to you if you still want to address all or some of them. Please let me
know. Otherwise, we can merge this. ð ---
