aljoscha Thu, 30 Nov 2017 05:07:56 -0800
Github user aljoscha commented on the issue: https://github.com/apache/flink/pull/5103 merged into `release-1.4`
---