Github user StefanRRichter commented on the issue:

    https://github.com/apache/flink/pull/6196
  
    I found there is still a small issue with the equals/hashCode but will just 
fix it before merging.


---

Reply via email to