Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
misc changes #7
Some of the updates look good. Need a few small changes. I'll likely cherry-pick in some commits and let you update from there.
So some of the comment messages are a bit wonky. I think we need to work on cleaning up the history a bit. If you need some help with this ping me on IRC.
e.g a subject of "Update copyright" does the update to cargo 0.27 and then there are commits later on that revert part of those changes that should be squashed together.