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.


---

Reply via email to