Github user aljoscha commented on the issue: https://github.com/apache/flink/pull/4955 Thanks for fixing this! And thanks for the review! I merged, could you please close the PR?
---
Github user aljoscha commented on the issue: https://github.com/apache/flink/pull/4955 Thanks for fixing this! And thanks for the review! I merged, could you please close the PR?
---