Github user StephanEwen commented on the issue: https://github.com/apache/flink/pull/5204 The code looks good, thanks! Merging this... For the next contributions, it would be great if you could give the Pull Request a proper description, as the text of the pull request template describes.
---