Github user tzulitai commented on the issue:
https://github.com/apache/flink/pull/4657
LGTM, thanks for the investigation.
I would add a comment about the specific change though, otherwise it would
be meaningless for other readers. Will add that when merging.---
