Github user tillrohrmann commented on the issue:
https://github.com/apache/flink/pull/6283
Alright, I think I fetched the last commit as well. Once Travis gives green
light, I'll merge it.---
Github user tillrohrmann commented on the issue:
https://github.com/apache/flink/pull/6283
Alright, I think I fetched the last commit as well. Once Travis gives green
light, I'll merge it.---