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?
---