Github user StefanRRichter commented on the issue:

    https://github.com/apache/flink/pull/4720
  
    This looks pretty much like some sort of mistake. Can you please close the 
PR?


---

Reply via email to