Merge pull request #278 from danvk/typed-options
authorDan Vanderkam <danvdk@gmail.com>
Mon, 14 Oct 2013 21:37:11 +0000 (14:37 -0700)
committerDan Vanderkam <danvdk@gmail.com>
Mon, 14 Oct 2013 21:37:11 +0000 (14:37 -0700)
Typed options


Trivial merge