Github user StephanEwen commented on the issue:
https://github.com/apache/flink/pull/5878
Good fix, thanks!
Could you add a test for this? That is important to ensure this fix is not
accidentally broken again in the future...---
