aljoscha Tue, 07 Nov 2017 01:21:22 -0800
Github user aljoscha closed the pull request at: https://github.com/apache/flink/pull/4960
---