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?


---

Reply via email to