Craig Citro and I are playing sage release managers for a week. (Unfortunately, there are no paper hats. None whatsoever.) Sage 4.0.2 is intended to drop Saturday, June 13.
Since neither Craig nor I have much experience managing sage, I am going to make some notes here.
Things to be done:
- Tag the hg repository.
- sage -clean?
- Update the version number.
- Update the release notes (with Minh).
- Update the website (with Harald).
Now back to upgrading mpir.
