Merge pull request #573 from danvk/coverage-cleanup
authorDan Vanderkam <danvdk@gmail.com>
Sun, 29 Mar 2015 23:19:33 +0000 (19:19 -0400)
committerDan Vanderkam <danvdk@gmail.com>
Sun, 29 Mar 2015 23:19:33 +0000 (19:19 -0400)
commit77a1405a7dea7e9de770583598a50e5907e6b1a1
tree7e34ccec56d2e02c79e49883cd8c66fdf2d47693
parent9d79fed952e57cd7cd675a2eb30fdf2ce2665cdc
parent5f01c8b675331ecea9b54723e57806da07f7191a
Merge pull request #573 from danvk/coverage-cleanup

Coverage cleanup