Github user ChrisChinchilla commented on the issue:
https://github.com/apache/flink/pull/5023
Hmm, not sure what happened to the commit history there. Let me know if you
like my changes but need something cleaner and I'd try and do some git magicâ¦---
