Merge pull request #693 from danvk/opt-size-check
authorDan Vanderkam <danvdk@gmail.com>
Mon, 16 Nov 2015 20:49:16 +0000 (15:49 -0500)
committerDan Vanderkam <danvdk@gmail.com>
Mon, 16 Nov 2015 20:49:16 +0000 (15:49 -0500)
Optionalize size check


Trivial merge