On Thu, Feb 20, 2014 at 2:42 AM, Ori Livneh <ori@wikimedia.org> wrote:
On Tue, Feb 11, 2014 at 8:18 AM, Yuri Astrakhan <yastrakhan@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@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.

Nope, beaten to it by Brion! https://gerrit.wikimedia.org/r/#/c/113687/ :D