Merge pull request #673 from danvk/track-code-size
authorDan Vanderkam <danvdk@gmail.com>
Fri, 23 Oct 2015 20:51:39 +0000 (16:51 -0400)
committerDan Vanderkam <danvdk@gmail.com>
Fri, 23 Oct 2015 20:51:39 +0000 (16:51 -0400)
Track code size on PRs


Trivial merge