Github user NicoK commented on the issue:
https://github.com/apache/flink/pull/5900
Hi @twalthr,
I just created a fixup commit for this PR and the one for `flink-web`. Can
you have a second look?---
Github user NicoK commented on the issue:
https://github.com/apache/flink/pull/5900
Hi @twalthr,
I just created a fixup commit for this PR and the one for `flink-web`. Can
you have a second look?---