fhueske Tue, 26 Jun 2018 02:24:02 -0700
Github user fhueske commented on the issue: https://github.com/apache/flink/pull/6153 Looks good. +1 to merge
---