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".
---
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".
---