On Tue, Feb 11, 2014 at 8:18 AM, Yuri Astrakhan
<yastrakhan(a)wikimedia.org>
wrote:
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;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.