StefanRRichter Fri, 24 Nov 2017 01:45:03 -0800
Github user StefanRRichter commented on the issue: https://github.com/apache/flink/pull/4481 Will merge this now.
---