Github user StefanRRichter commented on the issue:
https://github.com/apache/flink/pull/5676
I updated the PR to address the review comments.
@aljoscha maybe you can take a look because Till is not available for some
time. ---
