Github user aljoscha commented on the issue:
https://github.com/apache/flink/pull/5847
Sorry for the delay @sihuazhou I have a few minor touchups that I'll apply
while merging. ð
And thanks for discovering this and fixing it. ð ---
