Closed dbarnett closed 9 years ago
Squashed and merged.
BTW, in our other repos we usually leave it up to the author to merge if they have repo permissions just so they get the "last word", i.e. have a chance to clean up any last-minute things they notice as they're about to click "Merge".
SGTM; we can do that here too.
Fixes #13.