Merge pull request #680 from danvk/gzip-size
authorDan Vanderkam <danvdk@gmail.com>
Mon, 26 Oct 2015 17:55:12 +0000 (13:55 -0400)
committerDan Vanderkam <danvdk@gmail.com>
Mon, 26 Oct 2015 17:55:12 +0000 (13:55 -0400)
Track gzipped code size, too


Trivial merge