fhueske Fri, 01 Dec 2017 08:36:02 -0800
Github user fhueske commented on the issue: https://github.com/apache/flink/pull/5111 Thanks for the fix. +1 to merge
---