kl0u Fri, 13 Oct 2017 04:49:52 -0700
Github user kl0u commented on the issue: https://github.com/apache/flink/pull/4821 Merging this.
---