Github user fhueske commented on the issue: https://github.com/apache/flink/pull/3609 This PR can be closed as it will be addressed by FLINK-9714. Thanks, Fabian
---
Github user fhueske commented on the issue: https://github.com/apache/flink/pull/3609 This PR can be closed as it will be addressed by FLINK-9714. Thanks, Fabian
---