Github user StefanRRichter commented on the issue:
https://github.com/apache/flink/pull/5365
In general, LGTM. I just have the exact same change already in on
sub-commit of another open PR, so this change will get in one way or the other.---
