Github user fhueske commented on the issue: https://github.com/apache/flink/pull/6341 Thanks for the fix @AlexanderKoltsov! I'll merge this.
---
Github user fhueske commented on the issue: https://github.com/apache/flink/pull/6341 Thanks for the fix @AlexanderKoltsov! I'll merge this.
---