Github user kl0u commented on the issue:

    https://github.com/apache/flink/pull/4909
  
    It should call `dispose()`, you are correct. This was a mistake  due to 
sloppy "manual rebasing".


---

Reply via email to