How to Make a Release

1. Make the changes on the appropriate branch (e.g., maint-1.0).
2. Test!
3. On that branch, in a dedicated commit, bump the version in version.go.in.
4. Merge the branch to master.
5. On Github, make a release (make a tag based on the branch).
6. Announce the release on the mailing list.
7. Update the version # and the release date on the homepage.