[ https://issues.apache.org/jira/browse/FLINK-4983?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15726599#comment-15726599 ]
ASF GitHub Bot commented on FLINK-4983: --------------------------------------- Github user rmetzger commented on the issue: https://github.com/apache/flink/pull/2737 I've created a fix: https://github.com/rmetzger/flink/commit/28a3aed8633246717c52599c25ced928436a6f97 and pushed it to my travis account (Github has a service outage, that's why travis builds are not triggered) I'll probably merge it tomorrow morning, given that Travis is finally happy with it :) > Web UI: Add favicon > ------------------- > > Key: FLINK-4983 > URL: https://issues.apache.org/jira/browse/FLINK-4983 > Project: Flink > Issue Type: Improvement > Components: Webfrontend > Reporter: Mischa Krüger > Priority: Trivial > Fix For: 1.2.0 > > > Makes the tab easier to find when having multiple tabs open :) -- This message was sent by Atlassian JIRA (v6.3.4#6332)