Github user uce commented on the issue:
https://github.com/apache/flink/pull/5395
Didn't merge yet, because there is an issue with the buildbot environment.---
Github user uce commented on the issue:
https://github.com/apache/flink/pull/5395
Didn't merge yet, because there is an issue with the buildbot environment.---