pnowojski Fri, 10 Nov 2017 09:23:16 -0800
Github user pnowojski commented on the issue: https://github.com/apache/flink/pull/4996 Thanks @aljoscha for merging!
---