Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
A bunch of changes (v2) #51
This request contains the same changes as #43 but it has been updated to apply cleanly to the latest head.
I decided to make
The commits aren't as cleanly separated as I'd like. If you don't want all of this stuff, let me know, and I'll try to clean up what you do want.