Github user tzulitai commented on the issue:
https://github.com/apache/flink/pull/5925
@StefanRRichter since you worked on this in the beginning, do you want to
take a look at my additional (small) changes?
I did a review of the code already, and have addressed my own comments as
followup commits on top of yours.---
