dawidwys Fri, 22 Jun 2018 06:57:46 -0700
Github user dawidwys commented on the issue: https://github.com/apache/flink/pull/6138 +1, merging
---