Closed brigand closed 10 years ago
Thanks for these! Merged. It was easiest to copy individual changes across manually because otherwise it conflicted with other pull requests I just accepted, so the git history in master
looks slightly different, but I believe all your improvements are in.
Fixes #14.