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)
commit34b957edacfc4af7c35d370bd8eb690ee7ab7a62
tree1d9d70cbffa178d66df34313802e27783f1770c5
parent961b513bfe7d680506b4025b4dfb68aa6393bb4f
parent91bd611cb031bf1f3d39650e3109135fd0e78791
Merge pull request #693 from danvk/opt-size-check

Optionalize size check