Github user NicoK commented on the issue:
https://github.com/apache/flink/pull/5105
merged in c6945c2ef48d4c2cad3fc935435c1ab83e834969
@pnowojski can you close this PR?---
Github user NicoK commented on the issue:
https://github.com/apache/flink/pull/5105
merged in c6945c2ef48d4c2cad3fc935435c1ab83e834969
@pnowojski can you close this PR?---