diff options
Diffstat (limited to 'maintainers')
| -rw-r--r--[-rwxr-xr-x] | maintainers/build-release-notes.py | 0 | ||||
| -rw-r--r-- | maintainers/release-process.md | 3 |
2 files changed, 1 insertions, 2 deletions
diff --git a/maintainers/build-release-notes.py b/maintainers/build-release-notes.py index ba645d19a..ba645d19a 100755..100644 --- a/maintainers/build-release-notes.py +++ b/maintainers/build-release-notes.py diff --git a/maintainers/release-process.md b/maintainers/release-process.md index db8b064a5..5d68b2861 100644 --- a/maintainers/release-process.md +++ b/maintainers/release-process.md @@ -189,8 +189,7 @@ release: * Bump the version number of the release branch as above (e.g. to `2.12.2`). - + ## Recovering from mistakes `upload-release.pl` should be idempotent. For instance a wrong `IS_LATEST` value can be fixed that way, by running the script on the actual latest release. - |