Github user StefanRRichter commented on the issue: https://github.com/apache/flink/pull/4671 @aljoscha Thanks for the reviews of this and PR #4639 ! I addressed your comments and will proceed to merge both.
---
Github user StefanRRichter commented on the issue: https://github.com/apache/flink/pull/4671 @aljoscha Thanks for the reviews of this and PR #4639 ! I addressed your comments and will proceed to merge both.
---