On Tue, Feb 11, 2014 at 8:18 AM, Yuri Astrakhan <yastrakhan(a)wikimedia.org>
Also, there seems to be a problem with the server --
the icon is not
being gziped in response:
On Tue, Feb 11, 2014 at 8:31 AM, Brion Vibber <bvibber(a)wikimedia.org> wrote:
The server's probably not configured to gzip .ico
files by default, so
that's not a huge surprise,
but would likely be an easy configuration tweak.
Submitted as <https://gerrit.wikimedia.org/r/#/c/108484/4>; sorry for
taking a while to act on this.