Github user zentol commented on the issue:
https://github.com/apache/flink/pull/5155
@aljoscha I've implemented your suggestion, in hindsight that's a rather
obvious solution isn't it. Also rebased the branch.---
Github user zentol commented on the issue:
https://github.com/apache/flink/pull/5155
@aljoscha I've implemented your suggestion, in hindsight that's a rather
obvious solution isn't it. Also rebased the branch.---