Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Bug fix for issue 128, plus useful extensions #147
This replaces pull request at issue 143. It includes a bug fix for issue 128 and some changes to add a few capabilities I've found helpful:
This fixes the bugs in the original submission of this patch It passes all tests ONCE YOU FIX THE BUG identified in issue 144. See my patch submitted separately as issue 146.
Thanks again to everyone else whose work made Thor so terrific.