square/jetpack — pull request #16 by xaviershay (2012-06-13 21:13:19+00:00)
Title: Add gzip filter to web.xml.

Not adding a configuration option because I can't think of a reason you
wouldn't want this.