Github user NicoK commented on the issue:

    https://github.com/apache/flink/pull/5549
  
    alright, there you go...
    but with your definition of dead code, I could easily remove some hundred 
lines of code :P


---

Reply via email to