Github user tillrohrmann commented on the issue:
https://github.com/apache/flink/pull/6206
@zsolt-donca I actually added some test to my branch
https://github.com/tillrohrmann/flink/commits/FLINK-9654. If this should cover
your fix, then I could merge your PR with this test. What do you think?---
