Merge pull request #676 from danvk/module-cleanup
authorDan Vanderkam <danvdk@gmail.com>
Sun, 25 Oct 2015 04:20:51 +0000 (00:20 -0400)
committerDan Vanderkam <danvdk@gmail.com>
Sun, 25 Oct 2015 04:20:51 +0000 (00:20 -0400)
Export a few more symbols


Trivial merge