Github user StefanRRichter commented on the issue:
https://github.com/apache/flink/pull/6376
Thanks for the fast review @aljoscha . Addressed the comment about the
`while`-loop and will merge now.---
Github user StefanRRichter commented on the issue:
https://github.com/apache/flink/pull/6376
Thanks for the fast review @aljoscha . Addressed the comment about the
`while`-loop and will merge now.---