Age | Commit message (Collapse) | Author | |
---|---|---|---|
2022-11-06 | spec signature (for #7427) | Christian Grothoff | |
2022-11-03 | update release checklist | Christian Grothoff | |
2022-10-22 | -improve checklists | Christian Grothoff | |
2022-10-22 | merge checklists | Christian Grothoff | |
2022-10-22 | revise release checklist | Christian Grothoff | |
2019-11-01 | onboarding -> developer's manual, add checklist | Florian Dold | |