Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Currently this list isn't publicly available, it sits in various different versions on @damiendoligez's filesystems. He sent me a copy when I took care of some of the recent releases. The present presentation is a result of significant cleanups and changes to the checklist -- in particular, some mistakes may have jumped in. This is not a scripted process, it is very informal and it is likely that there are some mistakes/omissions in the list. Yet, it sounds better to have it somewhere in the source repository than not have it around at all. It was certainly helpful to me, and it probably would be to other release-help volunteers. (The list is put in tools/ because there isn't a clearly better place for it. This choice was suggested by Damien.)
- Loading branch information