Github user aljoscha commented on the issue: https://github.com/apache/flink/pull/4621 @PedroMrChaves Thanks, I also merged on the `release-1.3` branch so it will be released if/when a Flink 1.3.3 gets released.
---
Github user aljoscha commented on the issue: https://github.com/apache/flink/pull/4621 @PedroMrChaves Thanks, I also merged on the `release-1.3` branch so it will be released if/when a Flink 1.3.3 gets released.
---