Github user tillrohrmann commented on the issue:
https://github.com/apache/flink/pull/4770
Merging this PR since Travis passed.---
Github user tillrohrmann commented on the issue:
https://github.com/apache/flink/pull/4770
Merging this PR since Travis passed.---