Github user xccui commented on the issue:
https://github.com/apache/flink/pull/4790
Thanks for the review @StephanEwen and @aljoscha. I'd like to fix this
thoroughly. However, I don't have much experience working on other branches.
Shall I checkout the `release-1.3` branch and edit it directly?---
