Github user aljoscha commented on the issue:
https://github.com/apache/flink/pull/4942
The follow-up changes look good! (it's very easy to review since it's
clearly separated. ð)
If you reviewed Timo's and my changes I would say this is good to go.---
