Github user tzulitai commented on the issue:
https://github.com/apache/flink/pull/5779
Thanks for the review @aljoscha.
Merging this ...---
Github user tzulitai commented on the issue:
https://github.com/apache/flink/pull/5779
Thanks for the review @aljoscha.
Merging this ...---