Github user zentol commented on the issue:

    https://github.com/apache/flink/pull/5769
  
    @jparkie It didn't get lost; i added it to my next batch to merge which 
didn't grow enough yet for me to commit it. I will merge it this week.


---

Reply via email to