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